5.6.2 Modular Verification of PHS on CVM
In: Modern Software Engineering Concepts and Practices - Advanced Approaches 2011; (2011)
Online
E-Book
![Verkleinertes Vorschaubild](https://content.knovel.com/content/Thumbs/thumb6280.gif)
Zugriff:
Titel: |
5.6.2 Modular Verification of PHS on CVM
|
---|---|
Autor/in / Beteiligte Person: | Dogru Ali H. ; Veli, Biçer |
Link: | |
Quelle: | Modern Software Engineering Concepts and Practices - Advanced Approaches 2011; (2011) |
Veröffentlichung: | 2011 |
Medientyp: | E-Book |
ISBN: | 978-1-62198-943-1 (print) ; 978-1-60960-215-4 (print) |
Schlagwort: |
|
Sonstiges: |
|