Workshop spin verification system (3 Ergebnisse)
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 75,07
EUR 14,62 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 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 Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 90,05
EUR 9,50 VersandVersand von Irland nach 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, Jea…n-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. . . . .
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 93,57
EUR 9,06 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, Jea…n-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.
