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!
id 500335732
ctrlnum (MiAaPQ)500335732
(Au-PeEL)EBL335732
(CaPaEBR)ebr10296542
(CaONFJC)MIL128467
(OCoLC)476150439
collection bib_alma
record_format marc
spelling Yoeli, Michael, 1917-
Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol.
Hoboken, N.J. : Wiley-Interscience, c2008.
xv, 231 p. : ill.
Wiley series on parallel and distributed computing
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Integrated circuits Verification.
Computer software Verification.
LOTOS (Computer program language)
Petri nets.
Electronic books.
Kol, Rakefet.
ProQuest (Firm)
Wiley series on parallel and distributed computing.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=335732 Click to View
language English
format Electronic
eBook
author Yoeli, Michael, 1917-
spellingShingle Yoeli, Michael, 1917-
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Wiley series on parallel and distributed computing
author_facet Yoeli, Michael, 1917-
Kol, Rakefet.
ProQuest (Firm)
ProQuest (Firm)
author_variant m y my
author2 Kol, Rakefet.
ProQuest (Firm)
author2_variant r k rk
author2_role TeilnehmendeR
TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Yoeli, Michael, 1917-
title Verification of systems and circuits using LOTOS, Petri Nets, and CCS
title_full Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol.
title_fullStr Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol.
title_full_unstemmed Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol.
title_auth Verification of systems and circuits using LOTOS, Petri Nets, and CCS
title_new Verification of systems and circuits using LOTOS, Petri Nets, and CCS
title_sort verification of systems and circuits using lotos, petri nets, and ccs
series Wiley series on parallel and distributed computing
series2 Wiley series on parallel and distributed computing
publisher Wiley-Interscience,
publishDate 2008
physical xv, 231 p. : ill.
callnumber-first T - Technology
callnumber-subject TK - Electrical and Nuclear Engineering
callnumber-label TK7874
callnumber-sort TK 47874.58 Y64 42008
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=335732
illustrated Illustrated
dewey-hundreds 600 - Technology
dewey-tens 620 - Engineering
dewey-ones 621 - Applied physics
dewey-full 621.3815/48
dewey-sort 3621.3815 248
dewey-raw 621.3815/48
dewey-search 621.3815/48
oclc_num 476150439
work_keys_str_mv AT yoelimichael verificationofsystemsandcircuitsusinglotospetrinetsandccs
AT kolrakefet verificationofsystemsandcircuitsusinglotospetrinetsandccs
AT proquestfirm verificationofsystemsandcircuitsusinglotospetrinetsandccs
status_str n
ids_txt_mv (MiAaPQ)500335732
(Au-PeEL)EBL335732
(CaPaEBR)ebr10296542
(CaONFJC)MIL128467
(OCoLC)476150439
hierarchy_parent_title Wiley series on parallel and distributed computing
is_hierarchy_title Verification of systems and circuits using LOTOS, Petri Nets, and CCS
container_title Wiley series on parallel and distributed computing
author2_original_writing_str_mv noLinkedField
noLinkedField
_version_ 1792330683445673984
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01667nam a2200445 a 4500</leader><controlfield tag="001">500335732</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">070813s2008 njua sb 001 0 eng </controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2007033487</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA806238</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="z">014493167</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780471704492 (cloth)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0471704490 (cloth)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500335732</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL335732</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10296542</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL128467</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)476150439</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK7874.58</subfield><subfield code="b">.Y64 2008</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">621.3815/48</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Yoeli, Michael,</subfield><subfield code="d">1917-</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="h">[electronic resource] /</subfield><subfield code="c">by Michael Yoeli and Rakefet Kol.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><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><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Wiley series on parallel and distributed computing</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Integrated circuits</subfield><subfield code="x">Verification.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Verification.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">LOTOS (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Petri nets.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kol, Rakefet.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Wiley series on parallel and distributed computing.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=335732</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items