//]]>
Normal View MARC View ISBD View

Verification of systems and circuits using LOTOS, Petri Nets, and CCS /

by Yoeli, Michael,
Authors: Kol, Rakefet.%author Series: Wiley series on parallel and distributed computing Published by : Wiley-Interscience, (Hoboken, N.J. :) Physical details: xv, 231 p. : ill. ; 25 cm. ISBN: 0471704490 Subject(s): Integrated circuits %Verification. | Computer software %Verification. | LOTOS (Computer program language) | Petri nets. Year: 2008
Tags from this library:
No tags from this library for this title.
Item type Location Call Number Status Notes Date Due
Book Book AUM Main Library 621.381548 Y64 (Browse Shelf) Available JBC/2012/6152

Includes bibliographical references and index.

There are no comments for this item.

Log in to your account to post a comment.

Languages: 
English |
العربية