Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symp
69,60 €
The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Subtitle Proceedings of a Symposium, Warwick, UK, September 22-23, 1988.
Jetzt bei Ebay:
