Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs / Yoeli

By:

Material type: Text

TextPublication details: Wiley , 2008Edition: 1st editionDescription: 248 pagesISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Shelving location	Call number	Status	Barcode
Reference	Kalaignar Centenary Library Madurai	ENGLISH-REFERENCE BOOKS	நான்காம் தளம் / Fourth floor	005.1 YOE (Browse shelf(Opens below))	Not for loan	200623

Previous								Next
Previous	005.1 WIE Design Methods for Reactive Systems /	005.1 WIN Software Engineering At Google /	005.1 WU Algorithm Design Practice For Collegiate Programming Contests And Education	005.1 YOE Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs /	005.1 YUA Building Blockchain Apps	005.1 ZHA Algorithms And Data Structures /	005.1 ZHA A Tour Of Data Science	Next

Find us on the map