Correct Hardware Design and Verification Methods
Tiziana Margaria, Tom Melham
₹5,625
Services and Visualization
Towards User-Friendly Design: Acos'98, Visual'98, Ain'97, Selected Papers
by Tiziana Margaria, Bernhard Steffen, Roland Rückert
₹5,543
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
This book comprises a strictly refereed selection of papers presented at three international workshops on advanced communication services (ACoS'98), visualization issues for formal methods (VISUAL'98), and advanced intelligent networks (AIN'97).
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540643678
- ISBN-10
- 3540643672
- Authors
- Tiziana Margaria, Bernhard Steffen, Roland Rückert
- Publisher
- Springer
- Condition
- New
More by Tiziana Margaria and related titles
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,271
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,640
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi
₹5,395
Recent Issues in Pattern Analysis and Recognition
Virginio Cantoni, Reiner Creutzburg, Stefano Levialdi
₹5,580
Spanende Fertigung
R. Schamschula
₹5,498
Séminaire de Probabilités XIII
C. Dellacherie, P. a. Meyer, M. Weil
₹4,373
Autonomic and Trusted Computing
Juan González Nieto, Guojun Wang, Wolfgang Reif
₹5,525
Web Design Kreativ!
Michael Baumgardt
₹3,508
Taschenbuch Der Medizinisch-Klinischen Diagnostik
Friedrich Müller, Otto Seifert
₹3,508
Die Hydrolisierenden Enzyme Der Ester, Kohlenhydrate Und Glukoside
Hans V. Euler, K. Josephson, M. Myrbäck
₹3,508
Completions of Categories
Joachim Lambek
₹2,664