Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS Image close
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS on Hardback by Michael Yoeli
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS on Hardback by Michael Yoeli
Show Hide Adult Content
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$320.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $80.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Wiley Series on Parallel & Distributed Computing

See all products in this series

Parallel Metaheuristics on Hardback by Enrique Alba
$397.99
Parallel Metaheuristics
by Enrique Alba ~ Hardback
Available - Usually ships in 3-4 weeks
Mobile Intelligence on Hardback by Laurence T Yang
$439.99
Mobile Intelligence
by Laurence T Yang ~ Hardback
Available - Usually ships in 3-4 weeks
Fundamentals of Computer Organization and Architecture on Hardback by Hesham El-Rewini
$401.99
Fundamentals of Computer Organization and Architecture
by Hesham El-Rewini ~ Hardback
Available - Usually ships in 3-4 weeks
Market-Oriented Grid and Utility Computing on Hardback
$437.99
Market-Oriented Grid and Utility Computing
Hardback
Available - Usually ships in 3-4 weeks
Fog and Edge Computing on Hardback
$308.99
Fog and Edge Computing
Hardback
Available - Usually ships in 3-4 weeks
Large Scale Network-Centric Distributed Systems on Hardback
$330.99
Large Scale Network-Centric Distributed Systems
Hardback
Available - Usually ships in 3-4 weeks
Large-scale Distributed Systems and Energy Efficiency on Hardback by Jean-Marc Pierson
$266.99
Large-scale Distributed Systems and Energy Efficiency
by Jean-Marc Pierson ~ Hardback
Available - Usually ships in 3-4 weeks
Handbook of Wireless Networks and Mobile Computing on Hardback
$522.99
Handbook of Wireless Networks and Mobile Computing
Hardback
Available - Usually ships in 3-4 weeks
Parallel and Distributed Computing on Hardback by Claudia Leopold
$402.99
Parallel and Distributed Computing
by Claudia Leopold ~ Hardback
Available - Usually ships in 3-4 weeks
Distributed Computing on Hardback by Hagit Attiya
$374.99
Distributed Computing
by Hagit Attiya ~ Hardback
Available - Usually ships in 3-4 weeks
Optimization Techniques for Solving Complex Problems on Hardback
$391.99
Optimization Techniques for Solving Complex Problems
Hardback
Available - Usually ships in 3-4 weeks
SCADA Security on Hardback by Abdulmohsen Almalawi
$294.99
SCADA Security
by Abdulmohsen Almalawi ~ Hardback
Available - Usually ships in 3-4 weeks
Algorithms and Parallel Computing on Hardback by Fayez Gebali
$295.99
Algorithms and Parallel Computing
by Fayez Gebali ~ Hardback
Available - Usually ships in 3-4 weeks
Algorithms and Protocols for Wireless Sensor Networks on Hardback
$382.99
Algorithms and Protocols for Wireless Sensor Networks
Hardback
Available - Usually ships in 3-4 weeks
UPC on Hardback by Tarek El-Ghazawi
$369.99
UPC
by Tarek El-Ghazawi ~ Hardback
Available - Usually ships in 3-4 weeks
Introduction to Parallel Algorithms on Hardback by C. Xavier
$445.99
Introduction to Parallel Algorithms
by C. Xavier ~ Hardback
Available - Usually ships in 3-4 weeks

Description

This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. It presents theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples.

Author Biography:

Michael Yoeli, PhD, is Professor Emeritus in the Department of Computer Science, Technion, Israel. He is the author or editor of several books on digital networks and formal verification. His research interests include theory and applications of Petri nets, formal verification of hardware design, formal verification and synthesis of modular asynchronous networks, and computer-assisted analysis of parallel systems. He was awarded a Certificate of Acknowledgment by the Israel Section of the IEEE and the Israel Chapter of the IEEE Computer Society. Rakefet Kol, PhD, is a member of the Electrical Engineering Department, Technion, Israel. Her research interests include computer architectures, asynchronous design, formal verification of hardware designs, and software engineering. She is a senior member of the IEEE and a professional member of the ACM.
Release date Australia
April 15th, 2008
Audience
  • Professional & Vocational
Illustrations
Drawings: 56 B&W, 0 Color
Pages
248
Dimensions
163x243x22
ISBN-13
9780471704492
Product ID
3093275

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering