Cover Image
Read Now

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings

Bibliographic Details
Other Authors: Lakhnech, Yassine (Editor), Yovine, Sergio (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:1st ed. 2004
Series:Lecture Notes in Computer Science
Subjects:
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Processor Architectures
Microprocessors
Theory Of Computation
Special Purpose And Application-based Systems
Computers, Special Purpose
Computer Architecture
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:X, 402 p online resource
ISBN:9783540302063

Similar Items