Stepwise refinement of distributed systems models, formalisms, correctness ; REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989 ; proceedings J. W. de Bakker ... (eds.)
Materialtyp:
TextSprache: Englisch Reihen: ; 43000 | Lecture notes in computer science ; 430Verlag: Berlin Heidelberg [u.a.] Springer 1990Beschreibung: X, 808 S. graph. Darst. 25 cmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540525599
- 0387525599
- Electronic data processing -- Distributed processing -- Congresses
- Electronic data processing -- Distributed processing -- Congresses
- Programming (Electronic computers) -- Congresses
- Computer programs -- Verification -- Congresses
- Schrittweise Verfeinerung
- Verteiltes System
- Verteiltes System
- Schrittweise Verfeinerung
- 004.36
- 004/.36
- QA76.9.D5
- 28
- 28
- SS 4800
- 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 430 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000003276 |
Literaturangaben
Bakker, Jaco W. de: Stepwise Refinement of Distributed Systems
Stepwise refinement of distributed systems
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31