Verification : theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday

Verification theory and practice ; essays dedicated to Zohar Manna on the occasion of his 64th birthday

Literaturangaben

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Dershowitz, Nachum (HerausgeberIn), Manna, Zohar (GefeierteR)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2003
Schriftenreihe:Lecture notes in computer science 2772
Schlagworte:
Computer software > Verification > Aufsatzsammlung > Konferenzschrift > Festschrift > Verifikation > Theoretische Informatik > Programmierung > Programmierlogik > Berechnungstheorie
Online Zugang:Verlagsangaben
Cover
Inhaltsverzeichnis
Einführung/Vorwort
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Literaturangaben
Beschreibung:Includes bibliographical references and index
Beschreibung:XV, 782 S.
graph. Darst.
ISBN:3540210024
3-540-21002-4