Temporal Logic in Finite-State Verification

Name: Temporal Logic in Finite-State Verification
Price: 58.52 EUR
Availability: OutOfStock
ISBN: 978-613-0-52701-3

Betascript Publishing

Erschienen am 21. Juni 2010

Buch

Softcover

88 Seiten

978-613-0-52701-3 (ISBN)

58,52 €inkl. 7% MwSt.

Keine Lieferinformation verfügbar

Weitere Details