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 and Rakefet Kol.

Saved in:
Bibliographic Details
Superior document:Wiley series on parallel and distributed computing
:
ProQuest (Firm)
Yoeli, Michael, 1917-
TeilnehmendeR:
Kol, Rakefet.
ProQuest (Firm)
Year of Publication:2008
Language:English
Series:Wiley series on parallel and distributed computing.
Online Access:
Physical Description:xv, 231 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 01667nam a2200445 a 4500
001 500335732
003 MiAaPQ
005 20200520144314.0
006 m o d |
007 cr cn|||||||||
008 070813s2008 njua sb 001 0 eng
010 |z  2007033487 
015 |a GBA806238  |2 bnb 
016 7 |z 014493167  |2 Uk 
020 |z 9780471704492 (cloth) 
020 |z 0471704490 (cloth) 
035 |a (MiAaPQ)500335732 
035 |a (Au-PeEL)EBL335732 
035 |a (CaPaEBR)ebr10296542 
035 |a (CaONFJC)MIL128467 
035 |a (OCoLC)476150439 
040 |a MiAaPQ  |c MiAaPQ  |d MiAaPQ 
050 4 |a TK7874.58  |b .Y64 2008 
082 0 4 |a 621.3815/48  |2 22 
100 1 |a Yoeli, Michael,  |d 1917- 
245 1 0 |a Verification of systems and circuits using LOTOS, Petri Nets, and CCS  |h [electronic resource] /  |c by Michael Yoeli and Rakefet Kol. 
260 |a Hoboken, N.J. :  |b Wiley-Interscience,  |c c2008. 
300 |a xv, 231 p. :  |b ill. 
490 1 |a Wiley series on parallel and distributed computing 
504 |a Includes bibliographical references and index. 
533 |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
650 0 |a Integrated circuits  |x Verification. 
650 0 |a Computer software  |x Verification. 
650 0 |a LOTOS (Computer program language) 
650 0 |a Petri nets. 
655 4 |a Electronic books. 
700 1 |a Kol, Rakefet. 
710 2 |a ProQuest (Firm) 
830 0 |a Wiley series on parallel and distributed computing. 
856 4 0 |u https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=335732  |z Click to View 

Similar Items