Fields of logic and computation essays dedicated to Yuri Gurevich on the occasion of his 70th birthday

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Blass, Andreas (HerausgeberIn), Gurevich, Yuri (GefeierteR), Dershowitz, Nachum (BerichterstatterIn), Reisig, Wolfgang (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2010
Schriftenreihe:	Lecture notes in computer science 6300 : Festschrift
Schlagworte:	Computer science > Mathematics > Information theory > Formal methods (Computer science) > Logic, Symbolic and mathematical > Festschrift > Aufsatzsammlung > Theoretische Informatik > Mathematische Logik > Berechenbarkeit > Komplexitätstheorie > Automatentheorie > Softwarespezifikation > Programmverifikation > Abstrakte Zustandsmaschine > Formale Methode
Online Zugang:	Inhaltstext Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!