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:
Online Zugang:Verlagsangaben
Cover
Inhaltsverzeichnis
Einführung/Vorwort
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!