Process algebra and probabilistic methods performance modeling and verification ; joint international workshop ; proceedings PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. Luca de Alfaro ...
Materialtyp:
TextSprache: Englisch Reihen: ; 216500 | Lecture notes in computer science ; 2165Verlag: Berlin Heidelberg [u.a.] Springer-Verlag 2001Beschreibung: XII, 215 S. graph. Darst. 24 cmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 354042556X
- PAPM PROBMIV 2001
- Machine theory -- Congresses
- Parallel processing Electronic computers -- Congresses
- Machine theory -- Congresses
- Parallel processing Electronic computers -- Congresses
- Leistungsbewertung
- Model Checking
- Prozessalgebra
- Prozessalgebra
- Stochastischer Prozess
- Stochastisches System
- Verifikation
- Verifikation
- Verifikation
- Model Checking
- Prozessalgebra
- Stochastischer Prozess
- Stochastisches System
- Prozessalgebra
- Verifikation
- Leistungsbewertung
- QA267.P36 2001
- 28 | 27 | 15
- SS 4800
- *00B25
- 68-06
- 68Qxx
- 54.33
- 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 LNAI 2165 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000170213 |
Includes bibliographical references and index
Alfaro, Luca: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31