Isbn: 9780821806807 - the spin verification system: dimacs workshop, august 5, 1996 (dimacs series in discrete mathematics and theoretical computer science) (4 Ergebnisse)
The SPIN Verification System
Workshop On The Spin Verification System (1996 New Brunswick, N. J.); Gregoire, Jean-Charles; Holzmann, Gerard J.; Peled, Doron
- Hardcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 67,54
EUR 5,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 75,51
EUR 14,71 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Brand New. 203 pages. 10.25x7.25x0.50 inches. In Stock.
The Spin Verification System: Dimacs Workshop, August 5, 1996
Workshop on the Spin Verification System (1996 New Brunswick, N. J.)
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 96,32
EUR 9,33 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996. Editor(s): Gregoire, Jean-Charles; etc.; Holzmann, Gerald; Peled, Doron A. Series: Series in Discrete Mathematics & Theoretical Computer Science. Num Pages: 203 pages, illustrations. BIC Classification: PBW; UYA. Category: (P) Professional & Vocational. Dimension: 230. Weight in Grams: 624. . 1997. hardcover. . . . . Books ship from the US and Ireland.…
The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)
Workshop On The Spin Verification System (1996 New Brunswick, N. J.); Gregoire, Jean-Charles; Holzmann, Gerard J.; Peled, Doron
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 110,48
EUR 13,28 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. In English.
