Model checking software : 14th International SPIN Workshop, Berlin, Germany, July 1 - 3, 2007 ; proceedings / Dragan Bošnački; Stefan Edelkamp (eds.)

Mitwirkende(r):

Bošnački, Dragan [Hrsg.]
Edelkamp, Stefan [oth]
International SPIN Workshop (14 : 2007 : Berlin) [oth]

Resource type: Ressourcentyp: BuchBuchVerlagsnummer: 12084210Sprache: Englisch Reihen: Lecture notes in computer science ; 4595Verlag: Berlin ; Heidelberg [u.a.] : Springer, 2007Beschreibung: X, 283 S. : Ill., graph. Darst. ; 235 mm x 155 mmISBN:

3540733698
9783540733690

Schlagwörter:

Model Checking
Programmverifikation
SPIN (Computer file) -- Congresses
Computer simulation -- Congresses
Computer software -- Congresses

Genre/Form:

Konferenzschrift -- 2007 -- Berlin

Andere physische Formen: Online-Ausg.: Model Checking Software. Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. Online-Ressource (X, 285 p, digital)MSC: MSC: *68-06 | 68N30 | 00B25RVK: RVK: SS 4800LOC-Klassifikation:

QA76.76.V47

PPN: PPN: 533208645

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Signatur	Status
Institutsbestand	ITIV	IB-3630	Nicht ausleihbar

Anzahl Vormerkungen: 0

Druck
Zitieren
Meinem Korb hinzufügen (Entfernen)
Datensatz speichern
BIBTEX Dublin Core MARCXML MARC (Nicht-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
Weitere Suchen

Suche nach diesem Titel in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)