Cargando…
Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hoboken, N.J. :
Wiley-Interscience,
©2008.
|
| Colección: | Wiley series on parallel and distributed computing.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn608623935 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070813s2008 njua ob 001 0 eng d | ||
| 010 | |a 2007033487 | ||
| 040 | |a MERUC |b eng |e pn |c MERUC |d E7B |d OCLCQ |d N$T |d IDEBK |d OCLCQ |d DG1 |d UMI |d DEBSZ |d OCLCQ |d YDXCP |d EBLCP |d UKDOC |d OCLCQ |d COO |d OCLCF |d OCLCQ |d AZK |d DG1 |d JBG |d LOA |d IAS |d OCLCQ |d COCUF |d AGLDB |d DG1 |d OCLCQ |d MOR |d LIP |d PIFAG |d ZCU |d MERUC |d OCLCQ |d U3W |d OCLCQ |d STF |d WRM |d VTS |d CEF |d NRAMU |d ICG |d INT |d VT2 |d OCLCQ |d WYU |d OCLCQ |d OCLCO |d UAB |d OCLCQ |d DKC |d OCLCQ |d M8D |d UX1 |d DCT |d OCLCQ |d UKCRE |d VLY |d AJS |d OCLCO |d OCL |d OCLCQ |d OCLCO |d INARC |d OCLCL | ||
| 015 | |a GBA806238. |2 bnb | ||
| 015 | |a GBA806238 |2 bnb | ||
| 016 | 7 | |z 014493167 |2 Uk | |
| 016 | 7 | |z 014493167. |2 Uk | |
| 019 | |a 228427216 |a 232611995 |a 476150439 |a 647764451 |a 840427830 |a 961540689 |a 962634192 |a 966258867 |a 988410742 |a 991954211 |a 1037745792 |a 1038606601 |a 1045517241 |a 1055407034 |a 1064122791 |a 1077269333 |a 1081288381 |a 1101712701 |a 1103276103 |a 1110902641 |a 1129373657 |a 1152994334 |a 1153493172 |a 1162378283 |a 1192348286 |a 1228527727 |a 1240525482 |a 1412562769 | ||
| 020 | |a 9780470253397 |q (electronic bk.) | ||
| 020 | |a 0470253398 |q (electronic bk.) | ||
| 020 | |a 9780470253410 | ||
| 020 | |a 047025341X | ||
| 020 | |z 9780471704492 |q (cloth) | ||
| 020 | |z 0471704490 |q (cloth) | ||
| 020 | |a 9786611284671 | ||
| 020 | |a 6611284672 | ||
| 024 | 7 | |a 10.1002/9780470253410 |2 doi | |
| 029 | 1 | |a AU@ |b 000051420653 | |
| 029 | 1 | |a AU@ |b 000051432894 | |
| 029 | 1 | |a AU@ |b 000061122051 | |
| 029 | 1 | |a CHNEW |b 000935376 | |
| 029 | 1 | |a CHVBK |b 480157200 | |
| 029 | 1 | |a DEBBG |b BV041121520 | |
| 029 | 1 | |a DEBBG |b BV043146757 | |
| 029 | 1 | |a DEBBG |b BV044129011 | |
| 029 | 1 | |a DEBSZ |b 396764347 | |
| 029 | 1 | |a DEBSZ |b 400434946 | |
| 029 | 1 | |a DEBSZ |b 422134880 | |
| 029 | 1 | |a DEBSZ |b 430473680 | |
| 029 | 1 | |a NZ1 |b 13340278 | |
| 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 | |a 10.1002/9780470253410 |b Wiley InterScience |n http://www3.interscience.wiley.com | ||
| 050 | 4 | |a TK7874.58 |b .Y64 2008eb | |
| 072 | 7 | |a TEC |x 008020 |2 bisacsh | |
| 072 | 7 | |a TEC |x 008010 |2 bisacsh | |
| 082 | 0 | 4 | |a 621.3815/48 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Yoeli, Michael, |d 1917- |1 https://id.oclc.org/worldcat/entity/E39PCjyMmxGcCtVhxBb8QGbxtC | |
| 245 | 1 | 0 | |a Verification of systems and circuits using LOTOS, Petri Nets, and CCS / |c by Michael Yoeli and Rakefet Kol. |
| 260 | |a Hoboken, N.J. : |b Wiley-Interscience, |c ©2008. | ||
| 300 | |a 1 online resource (xv, 231 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Wiley series on parallel and distributed computing | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 546 | |a English. | ||
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 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. | |
| 650 | 0 | |a Computer programs |x Verification. | |
| 650 | 6 | |a Circuits intégrés |x Vérification. | |
| 650 | 6 | |a Logiciels |x Vérification. | |
| 650 | 6 | |a LOTOS (Langage de programmation) | |
| 650 | 6 | |a Réseaux de Pétri. | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Electronics |x Circuits |x Integrated. |2 bisacsh | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Electronics |x Circuits |x General. |2 bisacsh | |
| 650 | 7 | |a Computer programs |x Verification |2 fast | |
| 650 | 7 | |a Computer software |x Verification |2 fast | |
| 650 | 7 | |a Integrated circuits |x Verification |2 fast | |
| 650 | 7 | |a LOTOS (Computer program language) |2 fast | |
| 650 | 7 | |a Petri nets |2 fast | |
| 700 | 1 | |a Kol, Rakefet. | |
| 758 | |i has work: |a Verification of systems and circuits using LOTOS, Petri Nets, and CCS (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGjXtQwJR7GV3W9Mm7Ytrq |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Yoeli, Michael, 1917- |t Verification of systems and circuits using LOTOS, Petri Nets, and CCS. |d Hoboken, N.J. : Wiley-Interscience, ©2008 |w (DLC) 2007033487 |
| 830 | 0 | |a Wiley series on parallel and distributed computing. | |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9780471704492/?ar |z Texto completo |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=335732 |z Texto completo |
| 938 | |a 123Library |b 123L |n 9922 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL335732 | ||
| 938 | |a ebrary |b EBRY |n ebr10296542 | ||
| 938 | |a EBSCOhost |b EBSC |n 225556 | ||
| 938 | |a YBP Library Services |b YANK |n 2808663 | ||
| 938 | |a YBP Library Services |b YANK |n 2940102 | ||
| 938 | |a Internet Archive |b INAR |n verificationofsy0000yoel | ||
| 994 | |a 92 |b IZTAP | ||