Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

Model Checking Software - 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Paperback, 2007 ed.) Loot Price: R1,599

Discovery Miles 15 990

Repayment Terms: R150 pm x 12*

Add to cart

Model Checking Software - 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Paperback, 2007 ed.):...

Model Checking Software - 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Paperback, 2007 ed.)

Dragan Bosnacki, Stefan Edelkamp

Series: Theoretical Computer Science and General Issues, 4595

(sign in to rate)

Loot Price R1,599 Discovery Miles 15 990 | Repayment Terms: R150 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. Fourteen full papers are presented, together with four tool presentation papers and the abstracts of two invited talks. The papers are organized into topical sections covering directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, and tool demonstrations.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Theoretical Computer Science and General Issues, 4595
Release date:	June 2007
First published:	2007
Editors:	Dragan Bosnacki • Stefan Edelkamp
Dimensions:	235 x 155 x 15mm (L x W x T)
Format:	Paperback
Pages:	285
Edition:	2007 ed.
ISBN-13:	978-3-540-73369-0
Categories:	Books > Computing & IT > Computer programming > Software engineering Promotions
LSN:	3-540-73369-8
Barcode:	9783540733690