Benutzerdefiniertes Cover
Specification and verification of concurrent systems / C. Rattray (ed.)
Mitwirkende(r): Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Workshops in computingVerlag: London ; Berlin ; Heidelberg [u.a.] : Springer, 1990Beschreibung: 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
Inhalte:
Call number: Grundsignatur: 90 A 3037PPN: PPN: 275644863
Literaturangaben
| Medientyp | Heimatbibliothek | Standort | Signatur | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 90 A 3037 | Verfügbar | 46037621090 |
Anzahl Vormerkungen: 0