PakCat catalogue record

Formal methods for software architectures

Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

By Marco Bernardo, Paola Inverardi (eds.)

Bibliographic details

ISBN
3540200835
Publisher
Springer
Publication place
Berlin
Publication year
2003
Language
English
Material type
Book
Physical description
vi, 285 p.

Additional authors

Bernardo, Marco. Inverardi, Paola.

Subjects

Real-time data processing, Formal methods (Computer science), Computer systems, Computer software

Related catalogue records

Introduction to real-time imaging Dougherty, Edward R. Real-time systems design and analysis Laplante, Phillip A. Real-Time systems Liu, Jane W.S. Real-Time systems Liu, Jane W. S. Real-time systems design and analysis Laplante, Phillip A. Real-time systems and software Shaw, Alan C. Real-Time systems Liu, Jane W. S. Real-time systems Krishna, M. C.