Specifying systems: the TLA+ language and tools for hardware and software engineers
1. print.. - Boston [u.a.]: Addison-Wesley, 2003
Monographie, Gedruckte Ressource
- XVII, 364 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Specifying systems: the TLA+ language and tools for hardware and software engineers
|
---|---|
Verantwortlichkeitsangabe: | Leslie Lamport |
Autor/in / Beteiligte Person: | Lamport, Leslie (1941-) |
Ausgabe: | 1. print. |
Veröffentlichung: | Boston [u.a.]: Addison-Wesley, 2003 |
Medientyp: | Monographie |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XVII, 364 S. |
ISBN: | 032114306X |
Schlagwort: |
|
Sonstiges: |
|