Automated Technology for Verification and Analysis
Farn Wang
₹4,536
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 25–48 of 271 books
Automated Technology for Verification and Analysis
Ahmed Bouajjani, Wei-Ngan Chin
₹5,593
Automated Technology for Verification and Analysis
Zhiming Liu
₹4,269
B'98
Bert Didier
₹5,524
Caap '83
G. Ausiello, M. Protasi
₹5,649
Categories for Software Engineering
José Luiz Fiadeiro
₹3,749
Category Theory and Computer Programming
David Pitt, Samson Abramsky, Axel Poigne
₹5,639
Category Theory and Computer Science
David H. Pitt, Axel Poigne, David E. Rydeheard
₹5,528
Certified Programs and Proofs
Jean-Pierre Jouannaud, Zhong Shao
₹5,583
Coalgebraic Methods in Computer Science
Marcello M. Bonsangue
₹3,777
Compiler Generators
Mads Tofte
₹7,765
Component-Based Software Engineering
Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt
₹5,551
Computer Aided Verification
Gregor Von Bochmann, David K. Probst
₹5,657
Computer Aided Verification
Costas Courcoubetis
₹5,697
Computer Aided Verification
E. Allen Emerson, A. Prasad Sistla
₹4,411
Computer Aided Verification
Tayssir Touili, Byron Cook, Paul Jackson
₹5,452
Computer Engineering and Technology
Weixia Xu
₹4,246
Computer Engineering and Technology
Weixia Xu
₹4,251
Computer Engineering and Technology
Weixia Xu
₹4,200
Computer Performance Evaluation and Benchmarking
David Kaeli
₹4,196
Computer Science Logic
Jerzy Marcinkowski
₹5,825
Computer Science Logic
Anuj Dawar, Helmut Veith
₹5,686
Computing in Horn Clause Theories
Peter Padawitz
₹3,945
Concrete Semantics
Gerwin Klein, Tobias Nipkow
₹6,228