Aufsatzsammlung
Verification : theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of computing, logics of programs, automated deduction, concurrent systems, reactive systems, real- time systems, hybridsystems, hardware and software verification, and program synthesis.
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540210023
3540210024
- Maße
-
24 cm
- Umfang
-
XV, 782 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Lecture notes in computer science ; 2772
- Klassifikation
-
Informatik
- Schlagwort
-
Verifikation
Theoretische Informatik
Programmierung
Programmierlogik
Berechnungstheorie
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
2003
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
12.06.2025, 23:41 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Aufsatzsammlung
Beteiligte
- Dershowitz, Nachum
- Manna, Zohar
- Springer
Entstanden
- 2003