Math Mutation Classics
Erik Seligman
₹4,319
Formal Verification
An Essential Toolkit for Modern VLSI Design
by Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
Morgan Kaufmann · 2015
₹9,111
Free delivery. Nothing extra to pay at checkout.
- 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.
About this book
Formal Verification: An Essential Toolkit for Modern VLSI Design is written by Erik Seligman, Tom Schubert & others. This edition from Morgan Kaufmann (2015) has 408 pages.
Book details
- ISBN-13
- 9780128007273
- ISBN-10
- 0128007273
- Authors
- Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar
- Publisher
- Morgan Kaufmann
- Published
- 2015
- Pages
- 408
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Erik Seligman and related titles
Math Mutation Classics
Erik Seligman
₹2,276
Formal Verification
Erik Seligman, M. V. Achutha Kiran Kumar, Tom Schubert
₹6,759
New Approaches to Circle Packing in A Square
Szabo P. G.
₹3,012
Structural Genomics on Membrane Proteins
Kenneth H. Lundstrom
₹11,535
CSS Mastery
Andy Budd, Simon Collison, Cameron Moll
₹3,931
Architecture of Distributed Computer Systems
G. Bochmann, P. V. Klein
₹2,294
Verilog
Shivakumar S. Chonnad, Needamangalam B. Balachander
₹10,060
Deep Learning for Computer Vision with SAS
Robert Blanchard
₹4,037
Process Algebras for Petri Nets
Roberto Gorrieri
₹6,216
Stand out of our Light
James Williams
₹1,672
Social Knowledge Creation in the Humanities – Volume 2
Aaron Mauro
₹5,275