Formal and practical aspects of autonomic computing and networking specification, development, and verification
"This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking" - Provided by publisher
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hershey PA
Information Science Reference
[2012]
|
| Schriftenreihe: | Premier reference source
|
| Schlagworte: | |
| Online-Zugang: | DE-706 DE-1049 DE-898 DE-573 DE-1050 DE-83 URL des Erstveröffentlichers |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Wegen Wartungsarbeiten nicht verfügbar
Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.
Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:
Online
DE-706DE-1049
DE-898
DE-573
DE-1050
DE-83
URL des Erstveröffentlichers