Nearly Projective Boolean Algebras
S. Fuchino, Lutz Heindorf, Leonid B. Shapiro
₹5,157
Verification, Model Checking, and Abstract Interpretation
Third International Workshop, Vmcai 2002, Venice, Italy, January 21-22, 2002, Revised Paper
₹5,666
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
The publisher hasn't supplied a description for this edition. The details alongside are from the distributor's record.
Book details
- ISBN-13
- 9783540436317
- ISBN-10
- 3540436316
- Author
- Agostino Cortesi
- Publisher
- Springer
- Condition
- New
Related books
Plastische Chirurgie
Alfred Berger, Robert Hierner, Norbert Pallua
₹4,736
Mathematical Explorations for Young Minds
Bálint Hujter, Dániel Lenger, Gábor Szűcs
₹4,175
Platform Based Design at the Electronic System Level
Mark Burton, Adam Morawiec
₹4,612
Die Seele Des Tieres
Kenneth A. Loparo, H. E. Ziegler
₹3,508
Werkzeugeinrichtungen Auf Einspindelautomaten
F. Petzoldt
₹2,875
Monte Carlo-Algorithmen
Thomas Müller-Gronbach, Erich Novak, Klaus Ritter
₹2,050
Empirische Software-Ergonomie
Franz J. Heeg
₹3,508
Pathologie Der Muskulatur
J. M. Schröder
₹4,799
Jahrbuch Der Preußischen Forst- Und Jagdgesetzgebung Und Verwaltung
O. Mundt, Bernhard Dackelmann
₹5,867
Guide to RISC Processors
Sivarama P. Dandamudi
₹3,749
Das Oberförstersystem in Den Deutschen Staatsforstverwaltungen
Otto Von Bentheim
₹3,508