Aufsatzsammlung

Time for verification : essays in memory of Amir Pnueli

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783642137532
Maße
24 cm
Umfang
X, 399 S.
Sprache
Englisch
Anmerkungen
graph. Darst.

Erschienen in
Lecture notes in computer science ; 6200 : Festschrift

Schlagwort
Formale Methode
Verifikation

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg
(wer)
Springer
(wann)
2010
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
11.03.2025, 12:36 MEZ

Datenpartner

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

Objekttyp

  • Aufsatzsammlung

Beteiligte

Entstanden

  • 2010

Ähnliche Objekte (12)

Essays on spurious long memory time series

Essays on spurious long memory time series

Verification with Memory Models as Input

Verification with Memory Models as Input

Modelling Memory Consistency Models for Formal Verification

Modelling Memory Consistency Models for Formal Verification

AMIR

Graffiti | Streetart

AMIR

Amir

Negativ s/w

Amir

Essays on fractional cointegration and long memory time series

Essays on fractional cointegration and long memory time series

AMiR

Graffiti | Streetart

AMiR

AMiR

Graffiti | Streetart

AMiR

Leonhard, Amir

Akten

Leonhard, Amir

AMiR

Graffiti | Streetart

AMiR

AMiR

Graffiti | Streetart

AMiR

Amir Or

Foto

Amir Or

Verbundene Objekte