Abstract state machines 2004 advances in theory and practice ; 11th international workshop, Lutherstadt Wittenberg, Germany, May 24 - 28, 2004 ; proceedings ASM 2004. Wolf Zimmermann; Bernhard Thalheim (ed.)
Materialtyp:
TextVerlagsnummer: 11011170Sprache: Englisch Reihen: ; 305200 | Lecture notes in computer science ; 3052Verlag: Berlin Heidelberg [u.a.] Springer 2004Beschreibung: XII, 233 S. graph. Darst. 235 mm x 155 mmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540220941
- ASM 2004
- Machine theory -- Congresses
- Abstrakte Zustandsmaschine
- Abstrakte Zustandsmaschine
- Abstrakte Zustandsmaschine
- Abstrakte Zustandsmaschine
- Abstrakte Zustandsmaschine
- Formale Spezifikationstechnik
- Model Checking
- Nebenläufigkeit
- UML
- Verifikation
- Abstrakte Zustandsmaschine
- Abstrakte Zustandsmaschine
- Verifikation
- Model Checking
- Abstrakte Zustandsmaschine
- UML
- Abstrakte Zustandsmaschine
- Nebenläufigkeit
- Abstrakte Zustandsmaschine
- Formale Spezifikationstechnik
- QA267
- SS 4800
- *68-06
- 00B25
- 68Q05
- 54.10
Inhalte:
Bearbeitungsvermerk: - Archivierung/Langzeitarchivierung gewährleistet PEBW
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 3052 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000194264 |
Includes bibliographical references and index
Literaturangaben
Zimmermann, Wolf: Abstract State Machines 2004. Advances in Theory and Practice
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31