Specification and verification of concurrent systems
Literaturangaben
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
London, Berlin, Heidelberg u.a.
Springer
1990
|
| Schriftenreihe: | Workshops in computing
|
| Schlagworte: |
Geschichte 500-1500
> Geschichte 1500-1918
> Mittelalter
> Neuzeit
> Electronic data processing
> Distributed processing
> Parallel processing (Electronic computers)
> Congresses
> Herrschaft
> Geschichte
> Computer systems. Operating systems. Concurrent programming
> Operating systems (Computers)
> Territorialgeschichte
> Baden-Württemberg
> Konferenzschrift
> Nebenläufigkeit
> Spezifikation
> Verifikation
|
| Online Zugang: | Cover Inhaltstext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
| Zusammenfassung: | Literaturangaben |
|---|---|
| Beschreibung: | Includes index |
| Beschreibung: | VIII, 612 S. graph. Darst. |
| ISBN: | 3540195815 3-540-19581-5 0387195815 0-387-19581-5 |