Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) (Lecture Notes in Computer Science, 863)

Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) (Lecture Notes in Computer Science, 863) (ISBN-13: 9783540584681 and ISBN-10: 3540584684), written by authors Willem-Paul de Roever, Hans Langmaack, Jan Vytopil, was published by Springer in 1994. With an overall rating of 3.9 stars, it's a notable title among other AI & Machine Learning (Systems Analysis & Design, Computer Science, Data Processing, Databases & Big Data, Design & Architecture, Hardware & DIY, Microsoft Programming, Programming, Compilers, Programming Languages) books. You can easily purchase or rent Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) (Lecture Notes in Computer Science, 863) (Paperback) from BooksRun, along with many other new and used AI & Machine Learning books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.3.