Cover Image
Read Now

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

Bibliographic Details
Other Authors: Bernardo, Marco (Editor), Corradini, Flavio (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:1st ed. 2004
Series:Lecture Notes in Computer Science
Subjects:
Computer Communication Networks
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Computer Networks 
Theory Of Computation
Special Purpose And Application-based Systems
Computers, Special Purpose
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:VII, 297 p online resource
ISBN:9783540300809

Similar Items