Workshop Spin Verification System Gregoire (2 results)

Author:

Refine with Advanced Search

The Spin Verification System: Dimacs Workshop, August 5, 1996
Workshop on the Spin Verification System (1996 New Brunswick, N. J.)/ Gregoire, Jean-Charles/ Holzmann, Gerard J./ Peled, Doron
Language: English
Published by Amer Mathematical Society, 1997
0821806807 / 9780821806807
- Hardcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
US$ 84.89
US$ 16.54 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Hardcover. Condition: Brand New. 203 pages. 10.25x7.25x0.50 inches. In Stock.
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
Language: English
Published by Amer Mathematical Society, 1997
0821806807 / 9780821806807
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
5-star seller
Contact seller
Condition: New
US$ 124.28
US$ 14.94 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Condition: New. In English.