Verification of systems and circuits using LOTOS, Petri Nets, and CCS:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hoboken, N.J.
Wiley-Interscience
c2008
|
| Schriftenreihe: | Wiley series on parallel and distributed computing
|
| Schlagworte: | |
| Beschreibung: | xv, 231 p. |
| ISBN: | 9780471704492 0471704490 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044840811 | ||
| 003 | DE-604 | ||
| 005 | 20180305 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 180305s2008 |||| o||u| ||||||eng d | ||
| 015 | |a GBA806238 |2 dnb | ||
| 020 | |a 9780471704492 |c cloth |9 978-0-471-70449-2 | ||
| 020 | |a 0471704490 |c cloth |9 0-471-70449-0 | ||
| 035 | |a (ZDB-38-ESG)ebr10296542 | ||
| 035 | |a (OCoLC)608623935 | ||
| 035 | |a (DE-599)BVBBV044840811 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 621.3815/48 |2 22 | |
| 084 | |a ST 132 |0 (DE-625)143589: |2 rvk | ||
| 100 | 1 | |a Yoeli, Michael |d 1917- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Verification of systems and circuits using LOTOS, Petri Nets, and CCS |c by Michael Yoeli and Rakefet Kol |
| 264 | 1 | |a Hoboken, N.J. |b Wiley-Interscience |c c2008 | |
| 300 | |a xv, 231 p. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Wiley series on parallel and distributed computing | |
| 505 | 8 | |a Includes bibliographical references and index | |
| 650 | 4 | |a Integrated circuits |x Verification | |
| 650 | 4 | |a Computer software |x Verification | |
| 650 | 4 | |a LOTOS (Computer program language) | |
| 650 | 4 | |a Petri nets | |
| 650 | 0 | 7 | |a LOTOS |g Programmiersprache |0 (DE-588)4208203-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a CCS |0 (DE-588)4219672-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Petri-Netz |0 (DE-588)4045388-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a LOTOS |g Programmiersprache |0 (DE-588)4208203-1 |D s |
| 689 | 0 | 1 | |a Petri-Netz |0 (DE-588)4045388-1 |D s |
| 689 | 0 | 2 | |a CCS |0 (DE-588)4219672-3 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Kol, Rakefet |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 978-0-471-70449-2 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 0-471-70449-0 |
| 912 | |a ZDB-38-ESG | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030235674 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804178349176651776 |
|---|---|
| any_adam_object | |
| author | Yoeli, Michael 1917- |
| author_facet | Yoeli, Michael 1917- |
| author_role | aut |
| author_sort | Yoeli, Michael 1917- |
| author_variant | m y my |
| building | Verbundindex |
| bvnumber | BV044840811 |
| classification_rvk | ST 132 |
| collection | ZDB-38-ESG |
| contents | Includes bibliographical references and index |
| ctrlnum | (ZDB-38-ESG)ebr10296542 (OCoLC)608623935 (DE-599)BVBBV044840811 |
| dewey-full | 621.3815/48 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.3815/48 |
| dewey-search | 621.3815/48 |
| dewey-sort | 3621.3815 248 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01950nmm a2200517zc 4500</leader><controlfield tag="001">BV044840811</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180305 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">180305s2008 |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA806238</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780471704492</subfield><subfield code="c">cloth</subfield><subfield code="9">978-0-471-70449-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471704490</subfield><subfield code="c">cloth</subfield><subfield code="9">0-471-70449-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-38-ESG)ebr10296542</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)608623935</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044840811</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.3815/48</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 132</subfield><subfield code="0">(DE-625)143589:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Yoeli, Michael</subfield><subfield code="d">1917-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification of systems and circuits using LOTOS, Petri Nets, and CCS</subfield><subfield code="c">by Michael Yoeli and Rakefet Kol</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Hoboken, N.J.</subfield><subfield code="b">Wiley-Interscience</subfield><subfield code="c">c2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 231 p.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Wiley series on parallel and distributed computing</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Integrated circuits</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">LOTOS (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">LOTOS</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4208203-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CCS</subfield><subfield code="0">(DE-588)4219672-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">LOTOS</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4208203-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Petri-Netz</subfield><subfield code="0">(DE-588)4045388-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">CCS</subfield><subfield code="0">(DE-588)4219672-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kol, Rakefet</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-0-471-70449-2</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">0-471-70449-0</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-38-ESG</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030235674</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV044840811 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:02:33Z |
| institution | BVB |
| isbn | 9780471704492 0471704490 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030235674 |
| oclc_num | 608623935 |
| open_access_boolean | |
| physical | xv, 231 p. |
| psigel | ZDB-38-ESG |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Wiley-Interscience |
| record_format | marc |
| series2 | Wiley series on parallel and distributed computing |
| spelling | Yoeli, Michael 1917- Verfasser aut Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Michael Yoeli and Rakefet Kol Hoboken, N.J. Wiley-Interscience c2008 xv, 231 p. txt rdacontent c rdamedia cr rdacarrier Wiley series on parallel and distributed computing Includes bibliographical references and index Integrated circuits Verification Computer software Verification LOTOS (Computer program language) Petri nets LOTOS Programmiersprache (DE-588)4208203-1 gnd rswk-swf CCS (DE-588)4219672-3 gnd rswk-swf Petri-Netz (DE-588)4045388-1 gnd rswk-swf LOTOS Programmiersprache (DE-588)4208203-1 s Petri-Netz (DE-588)4045388-1 s CCS (DE-588)4219672-3 s 1\p DE-604 Kol, Rakefet Sonstige oth Erscheint auch als Druck-Ausgabe, Hardcover 978-0-471-70449-2 Erscheint auch als Druck-Ausgabe, Hardcover 0-471-70449-0 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Yoeli, Michael 1917- Verification of systems and circuits using LOTOS, Petri Nets, and CCS Includes bibliographical references and index Integrated circuits Verification Computer software Verification LOTOS (Computer program language) Petri nets LOTOS Programmiersprache (DE-588)4208203-1 gnd CCS (DE-588)4219672-3 gnd Petri-Netz (DE-588)4045388-1 gnd |
| subject_GND | (DE-588)4208203-1 (DE-588)4219672-3 (DE-588)4045388-1 |
| title | Verification of systems and circuits using LOTOS, Petri Nets, and CCS |
| title_auth | Verification of systems and circuits using LOTOS, Petri Nets, and CCS |
| title_exact_search | Verification of systems and circuits using LOTOS, Petri Nets, and CCS |
| title_full | Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Michael Yoeli and Rakefet Kol |
| title_fullStr | Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Michael Yoeli and Rakefet Kol |
| title_full_unstemmed | Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Michael Yoeli and Rakefet Kol |
| title_short | Verification of systems and circuits using LOTOS, Petri Nets, and CCS |
| title_sort | verification of systems and circuits using lotos petri nets and ccs |
| topic | Integrated circuits Verification Computer software Verification LOTOS (Computer program language) Petri nets LOTOS Programmiersprache (DE-588)4208203-1 gnd CCS (DE-588)4219672-3 gnd Petri-Netz (DE-588)4045388-1 gnd |
| topic_facet | Integrated circuits Verification Computer software Verification LOTOS (Computer program language) Petri nets LOTOS Programmiersprache CCS Petri-Netz |
| work_keys_str_mv | AT yoelimichael verificationofsystemsandcircuitsusinglotospetrinetsandccs AT kolrakefet verificationofsystemsandcircuitsusinglotospetrinetsandccs |