MPG.eBooks - Search Results - special purpose computers

Search alternatives:
computers » computer

Cover Image

1

Formal Techniques in Real-Time and Fault-Tolerant Systems : Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

Published 1988

Springer Berlin Heidelberg

Table of Contents: “...High integrity computing -- Using higher-order logic for modular specification of real-time...”

Cover Image

2

Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Computers, Special purpose...”