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 > General theory of computing > Systems analysis & design

Buy Now

Formal Methods: Applications and Technology - 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected (Paperback, 2007 ed.) Loot Price: R1,545

Discovery Miles 15 450

Repayment Terms: R145 pm x 12*

Add to cart

Formal Methods: Applications and Technology - 11th International Workshop on Formal Methods for Industrial Critical Systems,...

Formal Methods: Applications and Technology - 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected (Paperback, 2007 ed.)

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco Van De Pol

Series: Programming and Software Engineering, 4346

(sign in to rate)

Loot Price R1,545 Discovery Miles 15 450 | Repayment Terms: R145 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Programming and Software Engineering, 4346
Release date:	February 2007
First published:	2007
Editors:	Lubos Brim • Boudewijn Haverkort • Martin Leucker • Jaco Van De Pol
Dimensions:	235 x 155 x 19mm (L x W x T)
Format:	Paperback
Pages:	366
Edition:	2007 ed.
ISBN-13:	978-3-540-70951-0
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Promotions
LSN:	3-540-70951-7
Barcode:	9783540709510