Advanced formal verification
Boston [u.a.]: Kluwer Acad. Publ, 2004
Sammelwerk, Gedruckte Ressource
- XXV, 249 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Advanced formal verification
|
---|---|
Verantwortlichkeitsangabe: | ed. by Rolf Drechsler |
Autor/in / Beteiligte Person: | Drechsler, Rolf |
Veröffentlichung: | Boston [u.a.]: Kluwer Acad. Publ, 2004 |
Medientyp: | Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XXV, 249 S. : graph. Darst. |
ISBN: | 1402077211 |
Schlagwort: |
|
Sonstiges: |
|