Verification, Model Checking, and Abstract Interpretation
Kedar S. Namjoshi, Andreas Podelski
₹3,171
Subject
Logic design books
271 new logic design titles, with the largest lists from Springer, Springer-Verlag Berlin and Heidelberg GmbH & Co. K and Springer-Verlag New York Inc. Prices from ₹1,490 to ₹13,872, with free delivery across India and cash on delivery.
Showing 265–271 of 271 books
Verification, Model Checking, and Abstract Interpretation
VMCAI 2010 (2010 Madrid, Spain)
₹4,285
Verilog Hdl Synthesis
J. Bhasker
₹2,660
Z User Workshop, London 1992
Z User Meeting (7th 1992 London, England)
₹4,282
Zeitverhalten Synchroner Schaltwerke
Hans-Otto Leilich, Uwe Knaak
₹3,508
Zum '95
Jonathan P. Bowen, Michael G. Hinchey
₹5,296
Übersetzerbau
Ralf Hartmut Güting, Martin Erwig
₹2,415