Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)
Publisher: Wiley-Interscience
Published: March 14, 2008
Language: eng
Format: Hardcover
Number of pages: 248
ISBN-13: 9780471704492
Subjects: Software engineering; Computers; Technology & Industrial Arts; Computer Books: General; Electronics - Circuits - General; Computers / Computer Engineering; Computer Engineering; Computer software; Integrated circuits; LOTOS (Computer program language); Verification