0
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
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*

Bookmark and Share

Expected to ship within 10 - 15 working days

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

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
R1,366 R1,270 Discovery Miles 12 700
Systems Analysis And Design
Scott Tilley Hardcover R1,385 R1,285 Discovery Miles 12 850
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,932 Discovery Miles 19 320
Real-Time Systems Development
Rob Williams Paperback R1,398 Discovery Miles 13 980
Axiomatic Design - Advances and…
Nam P Suh Hardcover R6,348 Discovery Miles 63 480
Cases on Lean Thinking Applications in…
Eduardo Guilherme Satolo, Robisom Damasceno Calado Hardcover R6,498 Discovery Miles 64 980
Handbook of Research on 5G Networks and…
Augustine O Nwajana, Isibor Kennedy Ihianle Hardcover R8,638 Discovery Miles 86 380
Implementing Data Analytics and…
Chintan Bhatt, Neeraj Kumar, … Hardcover R6,432 Discovery Miles 64 320
Temporal Self-organization for Neural…
Neil Euliano Hardcover R2,256 Discovery Miles 22 560
Version Control and Management in…
Rafi Ahmed Hardcover R2,233 Discovery Miles 22 330
Advances in Non-volatile Memory and…
Yoshio Nishi, Blanka Magyari-Kope Paperback R4,881 Discovery Miles 48 810
Systems Analysis and Design with UML 6e
Dennis Paperback R3,666 Discovery Miles 36 660

See more

Partners