Rongo Univesity Library

Your cart is empty.

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

by Yoeli, Michael,
Additional authors: Kol, Rakefet. | ebrary, Inc.
Series: Wiley series on parallel and distributed computing Published by : Wiley-Interscience, (Hoboken, N.J. :) Physical details: xv, 231 p. : ill.
Subject(s): Integrated circuits -- Verification. | Computer software -- Verification. | LOTOS (Computer program language) | Petri nets. | Electronic books.
Year: 2008
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
No physical items for this record

Includes bibliographical references and index.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.

Powered by Koha