Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
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,430
Discovery Miles 14 300
Repayment Terms: R134 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,430 Discovery Miles 14 300 | Repayment Terms: R134 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 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 Changing World (Hardcover, 7th Edition): John Satzinger, Robert Jackson, Stephen D. Burd
Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
 R1,338 R1,245 Discovery Miles 12 450
Systems Analysis And Design (Hardcover, 12th Edition): Scott Tilley
Systems Analysis And Design
Scott Tilley Hardcover R1,356 R1,259 Discovery Miles 12 590
Distributed Systems - Concurrency and Consistency (Hardcover): Matthieu Perrin
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,821 Discovery Miles 18 210
Real-Time Systems Development (Paperback): Rob Williams
Real-Time Systems Development
Rob Williams Paperback R1,319 Discovery Miles 13 190
Axiomatic Design - Advances and Applications (Hardcover): Nam P Suh
Axiomatic Design - Advances and…
Nam P Suh Hardcover R5,972 Discovery Miles 59 720
Design Thinking for Tech - Solving Problems and Realizing Value in 24 Hours (Paperback): George Anderson
Design Thinking for Tech - Solving…
George Anderson Paperback R861 Discovery Miles 8 610
Loose Leaf for Fundamentals of Electric Circuits (Loose-leaf, 7th ed.): Charles Alexander, Matthew Sadiku
Loose Leaf for Fundamentals of Electric…
Charles Alexander, Matthew Sadiku Loose-leaf R5,510 Discovery Miles 55 100
Cases on Lean Thinking Applications in Unconventional Systems (Hardcover): Eduardo Guilherme Satolo, Robisom Damasceno Calado
Cases on Lean Thinking Applications in…
Eduardo Guilherme Satolo, Robisom Damasceno Calado Hardcover R6,588 Discovery Miles 65 880
Implementing Data Analytics and Architectures for Next Generation Wireless Communications (Hardcover): Chintan Bhatt, Neeraj...
Implementing Data Analytics and…
Chintan Bhatt, Neeraj Kumar, … Hardcover R5,931 Discovery Miles 59 310
Handbook of Research on 5G Networks and Advancements in Computing, Electronics, and Electrical Engineering (Hardcover):...
Handbook of Research on 5G Networks and…
Augustine O Nwajana, Isibor Kennedy Ihianle Hardcover R7,962 Discovery Miles 79 620
Temporal Self-organization for Neural Networks (Hardcover): Neil Euliano
Temporal Self-organization for Neural…
Neil Euliano Hardcover R2,084 Discovery Miles 20 840
Advances in Non-volatile Memory and Storage Technology (Paperback, 2nd edition): Yoshio Nishi, Blanka Magyari-Kope
Advances in Non-volatile Memory and…
Yoshio Nishi, Blanka Magyari-Kope Paperback R4,593 Discovery Miles 45 930

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners