Theory of Operator Algebras I
Masamichi Takesaki
₹5,737
Specification and Compositional Verification of Real-Time Systems
by Jozef Hooman
Springer · 1991
₹5,498
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Specification and Compositional Verification of Real-Time Systems by Jozef Hooman is a 235-page book published by Springer in 1991.
Its main subjects are Real-time data processing.
Subjects
Book details
- ISBN-13
- 9783540549475
- ISBN-10
- 3540549471
- Author
- Jozef Hooman
- Publisher
- Springer
- Published
- 1991
- Pages
- 235
- Language
- English
- Condition
- New
Related books
Antibiotic Policies
Gould I. M.
₹3,927
Psychosomatische Vorsorgemedizin
Felix Badelt
₹1,426
Chronic Leukemias and Lymphomas
Gary J. Schiller
₹5,450
Neural Engineering
He B.
₹2,044
Memory Management
Henry G. Baker
₹5,591
The End of Empires
Michael Gehler, Robert Rollinger, Philipp Strobl
₹3,801
Modular Forms on Half-Spaces of Quaternions
Aloys Krieg
₹5,543
Verhandlungen Der Schweizerischen Gesellschaft Für Gynäkologie Und Geburtshilfe
Kenneth A. Loparo, Ernst Hochuli
₹3,508
Advanced Materials Modelling for Mechanical, Medical and Biological Applications
Victor A. Eremeyev Holm Altenbach, Andrey Vasiliev Alexander Galybin
₹2,980
Historical Disaster Experiences
Gerrit Jasper Schenk
₹3,750
Vlsi-Soc
Jürgen Becker, Marcelo De Oliveira Johann, Ricardo Reis
₹5,525