Model Checking Software
Jaco Van Der Pol, Michael Weber
₹5,542
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 169–192 of 271 books
Model Checking Software
Alex Groce, Madanlal Musuvathi
₹5,701
Model Checking Software
Sriram K. Rajamani
₹4,264
Model-Based Safety and Assessment
Frank Ortmeier, Antoine Rauzy
₹3,438
Modelling Foundations and Applications
Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler
₹5,603
Models in Software Engineering
Sudipto Ghosh
₹5,573
Models in Software Engineering
Juergen Dingel, Arnor Solberg
₹5,609
NASA Formal Methods
Julia M. Badger, Kristin Yvonne Rozier
₹5,136
Nasa Formal Methods
Guillaume Brat
₹4,270
New Modeling Concepts for Today's Software Processes
Jürgen Münch, Ye Yang, Wilhelm Schäfer
₹5,584
Nonmonotonic and Inductive Logic
Klaus P. Jantke, Peter H. Schmitt
₹5,502
Objektorientierter Softwareentwurf
Ruth Breu
₹3,508
PROLOG for Computer Science
Christopher Dawe
₹5,508
Perspectives of Systems Informatics
Andrei Voronkov, Irina Virbitskaite
₹5,647
Perspectives of Systems Informatics
Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
₹5,602
Perspectives of Systems Informatics
Amir Pnueli
₹4,264
Petrinetze
Wolfgang Reisig
₹3,508
Pld Based Design with Vhdl
Vaibbhav Taraate
₹13,872
Practical Problems in Vlsi Physical Design Automation
Sung Kyu Lim
₹6,591
Practical Programmable Circuits
James D. Broesch
₹3,982
Principles and Practice of Constraint Programming - CP 2010
David Cohen
₹4,299
Principles and Practice of Constraint Programming -- CP 2011
Jimmy Lee
₹5,467
Process Mining
Po-Lung Yu Moussa Larbani
₹3,849
Program Specification
Series Editor Sally M. Reis, Carolyn M. Callahan
₹4,263