Sell, buy or rent Hans Langmaack textbooks

9783540584681-3540584684-Formal Techniques in Real-Time and Fault-Tolerant Systems (Lecture Notes in Computer Science, vol. 863) (Lecture Notes in Computer Science, 863)
9783540584681-3540584684-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)

by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
ISBN-13: 9783540584681
ISBN-10: 3540584684
Edition: 1994
Publisher: Springer
Format: Paperback 787 pages
Sell Shop now at Amazon
9783540654933-3540654933-Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)
9783540654933-3540654933-Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (Lecture Notes in Computer Science, 1536)

by Willem-Paul de Roever, Hans Langmaack, Amir Pnueli
ISBN-13: 9783540654933
ISBN-10: 3540654933
Edition: 1998
Publisher: Springer
Format: Paperback 655 pages
Sell Shop now at Amazon
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.