Items related to Model Checking Software: 13th International SPIN Workshop,...

Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings: 3925 (Lecture Notes in Computer Science, 3925) - Softcover

 
9783540331025: Model Checking Software: 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings: 3925 (Lecture Notes in Computer Science, 3925)

Synopsis

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Search results for Model Checking Software: 13th International SPIN Workshop,...

Seller Image

Valmari, Antti (EDT)
Published by Springer, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 6909122-n

Contact seller

Buy New

£ 49.12
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540331025_new

Contact seller

Buy New

£ 49.13
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Valmari, Antti
Published by Springer 2006-03, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783540331025

Contact seller

Buy New

£ 47.81
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Valmari, Antti (EDT)
Published by Springer, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 6909122

Contact seller

Buy Used

£ 55.62
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Valmari, Antti (EDT)
Published by Springer, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 6909122-n

Contact seller

Buy New

£ 46.43
Convert currency
Shipping: £ 14.80
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783540331025

Contact seller

Buy New

£ 56.43
Convert currency
Shipping: £ 7.40
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Valmari, Antti (EDT)
Published by Springer, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 6909122

Contact seller

Buy Used

£ 52.85
Convert currency
Shipping: £ 14.80
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Print on Demand pp. 324 Illus. Seller Inventory # 7548880

Contact seller

Buy New

£ 68.14
Convert currency
Shipping: £ 3.35
Within United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Published by Springer, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: New. pp. 324. Seller Inventory # 26299023

Contact seller

Buy New

£ 67.01
Convert currency
Shipping: £ 6.66
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Valmari, Antti
Published by Springer Berlin Heidelberg, 2006
ISBN 10: 3540331026 ISBN 13: 9783540331025
New Softcover

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with. Seller Inventory # 4887816

Contact seller

Buy New

£ 57.08
Convert currency
Shipping: £ 21.61
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 4 more copies of this book

View all search results for this book