000 05960cam a2201057Ma 4500
001 ocn608623935
003 OCoLC
005 20240523125532.0
006 m o d
007 cr cn|||||||||
008 070813s2008 njua ob 001 0 eng d
010 _a 2007033487
040 _aMERUC
_beng
_epn
_cMERUC
_dE7B
_dOCLCQ
_dN$T
_dIDEBK
_dOCLCQ
_dDG1
_dUMI
_dDEBSZ
_dOCLCQ
_dYDXCP
_dEBLCP
_dUKDOC
_dOCLCQ
_dCOO
_dOCLCF
_dOCLCQ
_dAZK
_dDG1
_dJBG
_dLOA
_dIAS
_dOCLCQ
_dCOCUF
_dAGLDB
_dDG1
_dOCLCQ
_dMOR
_dLIP
_dPIFAG
_dZCU
_dMERUC
_dOCLCQ
_dU3W
_dOCLCQ
_dSTF
_dWRM
_dVTS
_dCEF
_dNRAMU
_dICG
_dINT
_dVT2
_dOCLCQ
_dWYU
_dOCLCQ
_dOCLCO
_dUAB
_dOCLCQ
_dDKC
_dOCLCQ
_dM8D
_dUX1
_dDCT
_dOCLCQ
_dUKCRE
_dVLY
_dAJS
_dOCLCO
_dOCL
_dOCLCQ
_dOCLCO
_dINARC
_dOCLCL
015 _aGBA806238.
_2bnb
015 _aGBA806238
_2bnb
016 7 _z014493167
_2Uk
016 7 _z014493167.
_2Uk
019 _a228427216
_a232611995
_a476150439
_a647764451
_a840427830
_a961540689
_a962634192
_a966258867
_a988410742
_a991954211
_a1037745792
_a1038606601
_a1045517241
_a1055407034
_a1064122791
_a1077269333
_a1081288381
_a1101712701
_a1103276103
_a1110902641
_a1129373657
_a1152994334
_a1153493172
_a1162378283
_a1192348286
_a1228527727
_a1240525482
_a1412562769
020 _a9780470253397
_q(electronic bk.)
020 _a0470253398
_q(electronic bk.)
020 _a9780470253410
020 _a047025341X
020 _z9780471704492
_q(cloth)
020 _z0471704490
_q(cloth)
020 _a9786611284671
020 _a6611284672
024 7 _a10.1002/9780470253410
_2doi
029 1 _aAU@
_b000051420653
029 1 _aAU@
_b000051432894
029 1 _aAU@
_b000061122051
029 1 _aCHNEW
_b000935376
029 1 _aCHVBK
_b480157200
029 1 _aDEBBG
_bBV041121520
029 1 _aDEBBG
_bBV043146757
029 1 _aDEBBG
_bBV044129011
029 1 _aDEBSZ
_b396764347
029 1 _aDEBSZ
_b400434946
029 1 _aDEBSZ
_b422134880
029 1 _aDEBSZ
_b430473680
029 1 _aNZ1
_b13340278
035 _a(OCoLC)608623935
_z(OCoLC)228427216
_z(OCoLC)232611995
_z(OCoLC)476150439
_z(OCoLC)647764451
_z(OCoLC)840427830
_z(OCoLC)961540689
_z(OCoLC)962634192
_z(OCoLC)966258867
_z(OCoLC)988410742
_z(OCoLC)991954211
_z(OCoLC)1037745792
_z(OCoLC)1038606601
_z(OCoLC)1045517241
_z(OCoLC)1055407034
_z(OCoLC)1064122791
_z(OCoLC)1077269333
_z(OCoLC)1081288381
_z(OCoLC)1101712701
_z(OCoLC)1103276103
_z(OCoLC)1110902641
_z(OCoLC)1129373657
_z(OCoLC)1152994334
_z(OCoLC)1153493172
_z(OCoLC)1162378283
_z(OCoLC)1192348286
_z(OCoLC)1228527727
_z(OCoLC)1240525482
_z(OCoLC)1412562769
037 _a10.1002/9780470253410
_bWiley InterScience
_nhttp://www3.interscience.wiley.com
050 4 _aTK7874.58
_b.Y64 2008eb
072 7 _aTEC
_x008020
_2bisacsh
072 7 _aTEC
_x008010
_2bisacsh
082 0 4 _a621.3815/48
_222
049 _aMAIN
100 1 _aYoeli, Michael,
_d1917-
_1https://id.oclc.org/worldcat/entity/E39PCjyMmxGcCtVhxBb8QGbxtC
245 1 0 _aVerification of systems and circuits using LOTOS, Petri Nets, and CCS /
_cby Michael Yoeli and Rakefet Kol.
260 _aHoboken, N.J. :
_bWiley-Interscience,
_c�2008.
300 _a1 online resource (xv, 231 pages) :
_billustrations
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aWiley series on parallel and distributed computing
504 _aIncludes bibliographical references and index.
588 0 _aPrint version record.
505 0 _aVERIFICATION 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.
520 _aA 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.
546 _aEnglish.
590 _aJohn Wiley and Sons
_bWiley Online Library: Complete oBooks
650 0 _aIntegrated circuits
_xVerification.
650 0 _aComputer software
_xVerification.
650 0 _aLOTOS (Computer program language)
650 0 _aPetri nets.
650 0 _aComputer programs
_xVerification.
650 6 _aCircuits int�egr�es
_xV�erification.
650 6 _aLogiciels
_xV�erification.
650 6 _aLOTOS (Langage de programmation)
650 6 _aR�eseaux de P�etri.
650 7 _aTECHNOLOGY & ENGINEERING
_xElectronics
_xCircuits
_xIntegrated.
_2bisacsh
650 7 _aTECHNOLOGY & ENGINEERING
_xElectronics
_xCircuits
_xGeneral.
_2bisacsh
650 7 _aComputer programs
_xVerification
_2fast
650 7 _aComputer software
_xVerification
_2fast
650 7 _aIntegrated circuits
_xVerification
_2fast
650 7 _aLOTOS (Computer program language)
_2fast
650 7 _aPetri nets
_2fast
700 1 _aKol, Rakefet.
758 _ihas work:
_aVerification of systems and circuits using LOTOS, Petri Nets, and CCS (Text)
_1https://id.oclc.org/worldcat/entity/E39PCGjXtQwJR7GV3W9Mm7Ytrq
_4https://id.oclc.org/worldcat/ontology/hasWork
776 0 8 _iPrint version:
_aYoeli, Michael, 1917-
_tVerification of systems and circuits using LOTOS, Petri Nets, and CCS.
_dHoboken, N.J. : Wiley-Interscience, �2008
_w(DLC) 2007033487
830 0 _aWiley series on parallel and distributed computing.
856 4 0 _uhttps://onlinelibrary.wiley.com/doi/book/10.1002/9780470253410
938 _a123Library
_b123L
_n9922
938 _aEBL - Ebook Library
_bEBLB
_nEBL335732
938 _aebrary
_bEBRY
_nebr10296542
938 _aEBSCOhost
_bEBSC
_n225556
938 _aYBP Library Services
_bYANK
_n2808663
938 _aYBP Library Services
_bYANK
_n2940102
938 _aInternet Archive
_bINAR
_nverificationofsy0000yoel
994 _a92
_bINLUM
999 _c11468
_d11468