Stock image for illustration purposes only - book cover, edition or condition may vary.
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
Marco Bernardo
€ 67.11
FREE Delivery in Ireland
Description for 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
paperback. 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. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 16. Weight in Grams: 435.
A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems,instead, time issues become essential. Their correctness depends not only on which - tions they can perform, but also on the action execution time. Due to their importance and design challenges, real-time systems have attracted the att- tion of a considerable number of computer scientists and engineers from various research areas. This volume collects a set of papers accompanying the lectures of the fourth edition of theInternational School on Formal Methods for the Design of C- puter,Communication andSoftware Systems ... Read more
A large class of computing systems can be speci?ed and veri?ed by abstracting away from the temporal aspects of their behavior. Inreal-timesystems,instead, time issues become essential. Their correctness depends not only on which - tions they can perform, but also on the action execution time. Due to their importance and design challenges, real-time systems have attracted the att- tion of a considerable number of computer scientists and engineers from various research areas. This volume collects a set of papers accompanying the lectures of the fourth edition of theInternational School on Formal Methods for the Design of C- puter,Communication andSoftware Systems ... Read more
Product Details
Format
Paperback
Publication date
2004
Publisher
Springer Germany
Number of pages
304
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
297
Place of Publication
Berlin, Germany
ISBN
9783540230687
SKU
V9783540230687
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for 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