Formal Methods for Multicore Programming
Marco Bernardo, Einar Broch Johnsen
₹3,762
Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer
by Marco Bernardo, Alessandro Cimatti
Springer · 2006 · Paperback
₹5,499
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 Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer is written by Marco Bernardo & Alessandro Cimatti. This paperback edition from Springer (2006) has 243 pages. It belongs to the Lecture notes in computer science series.
Its main subjects are Congresses, Formal methods (Computer science), Verification and Integrated circuits.
Book details
- ISBN-13
- 9783540343042
- ISBN-10
- 3540343040
- Authors
- Marco Bernardo, Alessandro Cimatti
- Publisher
- Springer
- Published
- 2006
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 243
- Language
- English
- Condition
- New
- Subject
- Integrated circuits
More by Marco Bernardo and related titles
Formal Methods for Dynamical Systems
Marco Bernardo
₹3,631
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
₹4,240
Formal Methods for Model-Driven Engineering
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
₹5,672
Formal Methods for Eternal Networked Software Systems
Marco Bernardo, Valerie Issarny
₹5,669
Introduction to Analog VLSI Design Automation
Mohammed Ismail, José E. Franca
₹10,107
Introduction to Analog Vlsi Design Automation
Mohammed Ismail
₹7,777
Low-power Design and Power-aware Verification
Progyna Khondkar
₹10,820
Tree-Based Heterogeneous FPGA Architectures
Zied Marrakchi, Umer Farooq, Habib Mehrez
₹7,739
ASIC System Design with VHDL
Michael A. Shanblatt, Steven S. Leung
₹3,120
Digital VLSI Chip Design with Cadence and Synopsys CAD Tools
Neil Weste, David Harris
₹5,140
Digital Circuit Boards
Ralph Morrison
₹3,840