Yoeli, Michael,  1917- <br/><br/>
Verification of systems and circuits using LOTOS, Petri Nets, and CCS / 
by Michael Yoeli and Rakefet Kol. 
 - Hoboken, N.J. :  Wiley-Interscience,  �2008. 
 - 1 online resource (xv, 231 pages) :  illustrations 
 - Wiley series on parallel and distributed computing .
 - Wiley series on parallel and distributed computing. .
<br/><br/>Includes bibliographical references and index. 
<br/><br/>VERIFICATION OF SYSTEMS AND CIRCUITS USING LOTOS, PETRI NETS, AND CCS; CONTENTS; 1. Introduction; 2. Processes; 3. From Digital Hardware to Processes; 4. Introducing LOTOS; 5. Introducing Petri Nets; 6. Introducing CCS; 7. Verification of Modular Asynchronous Circuits; 8. Verification of Communication Protocols; 9. Verification of Arbiters; 10. More Verification Case Studies; 11. Guide to Further Studies; Index. 
<br/><br/> A Step-by-Step Guide to Verification of Digital Systems. This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of. 
<br/><br/><br/>English. 
<br/><br/><label>ISBN: </label>9780470253397 0470253398 9780470253410 047025341X 9786611284671 6611284672 
<br/><br/><label>Standard No.: </label>10.1002/9780470253410  doi 
<br/><br/><label>Source: </label>10.1002/9780470253410  Wiley InterScience  http://www3.interscience.wiley.com 
<br/><br/><label>LCCN: </label>2007033487 
<br/><br/><label>Nat. Bib. No.: </label>GBA806238.  bnb GBA806238  bnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label> Uk  Uk 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification.<br/>Computer software--Verification.<br/>LOTOS (Computer program language)<br/>Petri nets.<br/>Computer programs--Verification.<br/>Circuits int�egr�es--V�erification.<br/>Logiciels--V�erification.<br/>LOTOS (Langage de programmation)<br/>R�eseaux de P�etri.<br/>TECHNOLOGY & ENGINEERING--Electronics--Circuits--Integrated.<br/>TECHNOLOGY & ENGINEERING--Electronics--Circuits--General.<br/>Computer programs--Verification<br/>Computer software--Verification<br/>Integrated circuits--Verification<br/>LOTOS (Computer program language)<br/>Petri nets
<br/><br/><label>LC Class. No.: </label>TK7874.58  / .Y64 2008eb 
<br/><br/><label>Dewey Class. No.: </label>621.3815/48