> Detailanzeige

Manna, Zohar [Herausgeber:in]; Pnueli, Amir [Gefeierte:r]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft]

Time for verification

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: Buch; Festschrift
Titel: Time for verification : essays in memory of Amir Pnueli
Beteiligte: Manna, Zohar [Herausgeber:in]; Pnueli, Amir [Gefeierte:r]; Peled, Doron A. [Sonstige Person, Familie und Körperschaft]
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2010
Erschienen in: Lecture notes in computer science ; 6200
Festschrift
Umfang: X, 399 S.; Ill., graph. Darst
Sprache: Englisch
ISBN: 3642137539; 9783642137532
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80016188
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Formale Methode > Verifikation
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science