Cover Image
Read Now

Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings

Bibliographic Details
Main Author: Damm, Werner
Other Authors: Olderog, Ernst -Rüdiger
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2002
Series:Lecture Notes in Computer Science
Subjects:
Computer Science
Logic Design
Memory Management (computer Science)
Microprogramming
Software Engineering
Control Structures And Microprogramming
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:9783540457398
978-3-540-44165-6

Similar Items