Abstract compositional analysis of iterated relations a structural approach to complex state transition systems Frédéric Geurts
Materialtyp:
TextSprache: Englisch Reihen: ; 142600 | Lecture notes in computer science ; 1426Verlag: Berlin Heidelberg [u.a.] Springer 1998Beschreibung: XIV, 280 S. graph. DarstInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540655069
- QA76.9.A23
- 28
- SS 4800
- *93-02
- 93A05
- 93B40
- 93C55
- 93A13
- 54.10
- 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 1426 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000141435 |
Literaturverz. S. [257] - 272
Geurts, Frédéric, 1969 - : Abstract Compositional Analysis of Iterated Relations
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31