Skip to product information
Formal Methods for the Design of Real-Time Systems
  • Formal Methods for the Design of Real-Time Systems
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

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

$49.49 $54.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science

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 | Flavio Corradini

Computers / Computer Science


Publication Date: 01 September 2004
Publisher: Springer Berlin Heidelberg
Imprint: Springer
ISBN-13: 9783540230687
Format: Paperback softback
Page Count: 297

You may also like