Reactive systems modelling specification von aceto luca (3 Ergebnisse)
Reactive Systems: Modelling, Specification and Verification
Aceto, Luca; Ingólfsdóttir, Anna; Larsen, Kim Guldstrand; Srba, Jiri
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 113,70
EUR 13,14 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 155,87
EUR 9,15 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Accessible text describing the process algebraic approach to the specification and verification of software and software systems using mathematical logic. Num Pages: 302 pages, 28 b/w illus. 7 tables 188 exercises. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 256 x 183 x 22. Weight in Grams: 666. . 2007. hardcover. . . . . Books ship from the US and Ireland. …
Reactive Systems: Modelling, Specification and Verification
Luca Aceto/ Anna Ingólfsdóttir/ Kim Guldstrand Larsen/ Jiri Srba
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 174,60
EUR 14,55 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 284 pages. 9.75x7.00x0.75 inches. In Stock.
