BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.

Formal Techniques in Real-Time and Fault-Tolerant Systems :
Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lubeck, Germany, September 19-23, 1994 Proceedings

by H. Langmaack, W. P. De Roever, Jan Vytopil

ISBN 3540584684 / 9783540584681 / 3-540-58468-4
Publisher Springer
Country Germany
Language English
Edition Softcover
Find All Copies

 


› Find collectible copies of 'Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lubeck, Germany, September 19-23, 1994 Proceedings'