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 S

Bibliographic Details
Main Author: Lakhnech, Yassine
Other Authors: Yovine, Sergio
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004
Series:Lecture Notes in Computer Science
Subjects:
Computer Science
Logic Design
Memory Management (computer Science)
Software Engineering
Logics And Meanings Of Programs
Memory Structures
Processor Architectures
Programming Languages, Compilers, Interpreters
Special Purpose And Application-based Systems
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Description
Physical Description:v. digital
ISBN:9783540231677
978-3-540-23167-7

Similar Items