Skip to content
Same-day shipping9% off: code GIG9
BooksBajar.com
Cover of Verification of Systems and Circuits Using Lotos, PETRI NETs, and CCs

Verification of Systems and Circuits Using Lotos, PETRI NETs, and CCs

by Michael Yoeli, Rakefet Kol

Wiley-Interscience · 2008 · Hardcover

₹7,304

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–5 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns.
  • Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹6,804 for this book (save ₹500).

9% off every book, up to ₹500 off per order.

About this book

It belongs to the Wiley series on parallel and distributed computing series.

Topics covered include Verification, Petri nets, Computer software and LOTOS (Computer program language).

Book details

ISBN-13
9780471704492
ISBN-10
0471704490
Authors
Michael Yoeli, Rakefet Kol
Publisher
Wiley-Interscience
Published
2008
Series
Wiley series on parallel and distributed computing
Edition
Nil
Binding
Hardcover
Pages
231
Language
English
Condition
New
Subject
ICs & Chip Design

More in ICs & Chip Design