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!
|
| Zusammenfassung: | "This book outlines the characteristics, novel approaches of specification, refinement, programming and verification associated with automated computing and networking" - Provided by publisher |
|---|---|
| Beschreibung: | Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (xii, 431 Seiten) |
| ISBN: | 9781609608460 9781609608477 |