Formal Methods in Computer-Aided Design

Name: Formal Methods in Computer-Aided Design: First International Conference
Brand: Springer
SKU: 9783540619376
Price: 5617.00 INR
Availability: InStock

First International Conference

by Mandayam Srivas, Albert Camilleri

Springer · 1996 · Paperback

₹5,617

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 in Computer-Aided Design: First International Conference by Mandayam Srivas & Albert Camilleri is a 470-page paperback edition published by Springer in 1996. The book is part of the Lecture notes in computer science series.

Topics covered include Congresses, Computer-aided design, Digital integrated circuits and Computer engineering.