Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Back to Search Results
SearchType
Keyword
Author
Title
Subject
Call Number
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
Available items only
Record 13 of 14
Previous Record
Next Record
Author
Yoeli, Michael, 1917-
Title
Verification of systems and circuits using LOTOS, Petri Nets, and CCS [electronic resource] / by Michael Yoeli and Rakefet Kol.
Imprint
Hoboken, N.J. : Wiley-Interscience, c2008.
Connect to
Available to Pittsburg State University patrons only.
Copies
Location
Call No.
OPAC Message
Status
Axe ProQuest E-Book
Electronic Book
---
Available
Description
xv, 231 p. : ill.
Series
Wiley series on parallel and distributed computing
Wiley series on parallel and distributed computing.
Bibliography
Includes bibliographical references and index.
Reproduction
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject
Integrated circuits -- Verification.
Computer software -- Verification.
LOTOS (Computer program language)
Petri nets.
Genre/Form
Electronic books.
Added Author
Kol, Rakefet.
ProQuest (Firm)
ISBN
9780471704492 (cloth)
0471704490 (cloth)
Available items only
