Modelling distributed systems with 7 tables Wan Fokkink
Materialtyp:
TextVerlagsnummer: 12072095Sprache: Englisch Reihen: Texts in theoretical computer science : an EATCS seriesVerlag: Berlin Heidelberg [u.a.] Springer 2007Beschreibung: VIII, 151 S. graph. Darst. 235 mm x 155 mmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540739378
- 9783540739371
- Parallel processing (Electronic computers)
- Electronic data processing -- Distributed processing
- Parallel programs (Computer programs) -- Verification
- Abstrakter Datentyp
- Algebraische Spezifikation
- Formale Methode
- Nebenläufigkeit
- Programmverifikation
- Prozessalgebra
- Verifikation
- Verteilter Algorithmus
- Verteiltes System
- Verteiltes System
- Algebraische Spezifikation
- Verifikation
- Prozessalgebra
- Abstrakter Datentyp
- Nebenläufigkeit
- Verteilter Algorithmus
- Programmverifikation
- Formale Methode
- QA76.58
- ST 200
- ST 130
- *68M14
- 68-01
- 68Q85
- 68M12
- 68Q60
- 68Q65
- 68W15
- 54.32
- 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) | Books A-Z (1st) | FOK w 2007:1 1.Ex (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000221595 |
Literaturverz. S. [143] - 148
Modelling Distributed Systems
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31