Amazon cover image
Image from Amazon.com

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

By: Michael Yoeli-Rakefet KolMaterial type: TextTextLanguage: English Series: Wiley Series on Parallel and Distributed ComputingPublication details: Wiley-Interscience 2008 ISBN: 9780470253397Subject(s): Computer software--Verification.,Integrated circuits--Verification.,LOTOS (Computer program language),Petri nets | COMPUTERS / Computer EngineeringDDC classification: 621.3815/48 LOC classification: TK7874.58 .Y64 2008ebOnline resources: Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
E-Books E-Books VJEC Central Library
Not for loan

There are no comments on this title.

to post a comment.
Copyright © 2021 Vimal Jyothi Engineering College. All Rights Reserved.
Supported by OpenSio Software Solutions

Powered by Koha