Custom cover image
Specification and verification of concurrent systems / C. Rattray (ed.)
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Workshops in computingPublisher: London ; Berlin ; Heidelberg [u.a.] : Springer, 1990Description: VIII, 612 S. : graph. DarstISBN:- 3540195815
- 0387195815
- Mittelalter
- Neuzeit
- Herrschaft
- Geschichte
- Territorialgeschichte
- Nebenläufigkeit
- Spezifikation
- Verifikation
- Baden-Württemberg
- Geschichte 500-1500
- Geschichte 1500-1918
- Electronic data processing
- Parallel processing (Electronic computers)
- Computer systems. Operating systems. Concurrent programming
- Operating systems (Computers)
- Parallel processing (Electronic computers)
- Operating systems (Computers)
- 005.42
- 004/.35
- QA76.6
Contents:
Call number: Grundsignatur: 90 A 3037PPN: PPN: 275644863
Literaturangaben
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 3037 | Available | 46037621090 |
Total holds: 0