Flat Covers of Modules
Jinzhong Xu
₹3,919
Verifying Concurrent Processes Using Temporal Logic
₹5,481
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
Verifying Concurrent Processes Using Temporal Logic is a carefully curated title by B. T. Hailpern , published by Springer .
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540112051
- ISBN-10
- 3540112057
- Author
- B. T. Hailpern
- Publisher
- Springer
- Condition
- New
Related books
Digitale Hardware/Software-Systeme
Christian Haubelt, Jürgen Teich
₹2,269
Volkstümliche Namen Der Arzneimittel, Drogen Und Chemikalien
Johann Holfert, Georg Arends, Na Holfert-Arends
₹3,508
Erfolgreiches Marketing Für Die Arztpraxis
Viktoria Hausegger
₹4,584
Nachhaltig Optimierte Gebäude
Gerhard Girmscheid, David Lunze
₹5,498
Urogenitale Infektionen
Alfons Hofstetter
₹3,141
Amerikanische Wirtschaftspolitik
Franz Erich Junge
₹3,508
Entscheidungs- Und Spieltheorie
H. Bühlmann, H. Loeffel, E. Nievergelt
₹3,508
Die Neurovegetative Peripherie
Carmen Coronini
₹3,508
Theorie Technischer Systeme
Vladimir Hubka
₹3,623
Echoviruses and Reoviruses
Herbert A. Wenner, A. M. Behbehani, Leon Rosen
₹3,508
Theorie Der Beugung Elektromagnetischer Wellen
Walter Franz
₹3,143