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

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Aufsatzsammlung

Beteiligte

Entstanden

  • 2003

Ähnliche Objekte (12)