Verification of systems and circuits using LOTOS, Petri Nets, and CCS
by
Yoeli, Michael, 1917-
Title
:
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Author
:
Yoeli, Michael, 1917-
ISBN
:
9780470253397
9780470253410
Publication Information
:
Hoboken, N.J. : Wiley-Interscience, c2008.
Physical Description
:
1 online resource (xv, 231 p.) : ill.
Series
:
Wiley series on parallel and distributed computing
Series Title
:
Wiley series on parallel and distributed computing
Subject Term
:
Integrated circuits -- Verification.
Computer software -- Verification.
LOTOS (Computer program language)
Petri nets.
Genre
:
Electronic books.
Added Author
:
Kol, Rakefet.
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 297616-1001 | ONLINE | | Elektronik Kütüphane |