9780821806807 - the spin verification system: dimacs workshop, august 5, 1996 (dimacs series in discrete mathematics and theoretical computer science) von workshop on the spin verification system (1996 new brunswick, n. j.); gregoire, jean-charles; holzmann, gerard j.; peled, doron (2 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 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.
