Items related to Model Checking Software: 12th International SPIN Workshop,...
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science, 3639) - Softcover
Synopsis
oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.
"synopsis" may belong to another edition of this title.
Search results for Model Checking Software: 12th International SPIN Workshop,...
Stock Image
Model Checking Software
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 308 Illus. Seller Inventory # 5856816
Buy New
US$ 29.74
US$ 8.68 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
Published by
Springer Berlin / Heidelberg, 2005
ISBN 10: 3540281959
ISBN 13: 9783540281955
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 55758876-6
Stock Image
Model Checking Software
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 308. Seller Inventory # 263072495
Stock Image
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-239777
Stock Image
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-10569
Stock Image
Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # DA1412376
Stock Image
Model Checking Software
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 308. Seller Inventory # 183072485
Buy New
US$ 32.06
US$ 11.08 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-239778
Stock Image
Model Checking Software: 12Th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABBB-75023
Seller Image
Model Checking Software : 12th International SPIN Workshop, San Francisco, Ca, USA, August 22-24, 2005, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 3544700