Picture 1 of 1

Stock photo
Stock photo
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International S - Picture 1 of 1

Lecture Notes in Computer Science Ser.: Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 1994 - Proceedings by W. -P. De Roever (1994, Trade Paperback)

Be the first towrite a review.
  • grandeagleretail (918630)
  • 98.2% positive feedback
Price:
$126.99
Free shipping
Estimated delivery Mon, May 20 - Thu, May 23
Returns:
30 days returns. Buyer pays for return shipping.
Condition:
Brand New
It explores their use throughout the entire engineering process, from specification and design through coding and computation to the hardware itself. The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations.