Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures - Lecture Notes in Computer - Bob Plamondon - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540230687 - September 1, 2004
In case cover and title do not match, the title is correct

Bob Plamondon
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures - Lecture Notes in Computer 2004 edition

Price
$ 55.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Researchers and advanced students will appreciate the book as a valuable source of reference and a systematic guide to the use of formal methods for the specification, analysis, and verification of real-time systems.

297 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 1, 2004
ISBN13 9783540230687
Publishers Springer-Verlag Berlin and Heidelberg Gm
Genre Cultural Region > Canadian
Pages 297
Dimensions 160 × 240 × 16 mm   ·   435 g
Language German  
Editor Bernardo, Marco
Editor Corradini, Flavio

Mere med samme udgiver

See all of Bob Plamondon ( e.g. Paperback Book )