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

Spremljeno u:

Bibliografski detalji
Glavni autor:	Yoeli, Michael, 1917-
Autor kompanije:	ebrary, Inc
Daljnji autori:	Kol, Rakefet
Format:	Elektronički e-knjiga
Jezik:	engleski
Izdano:	Hoboken, N.J. : Wiley-Interscience, c2008.
Serija:	Wiley series on parallel and distributed computing.
Teme:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets. Electronic books.
Online pristup:	An electronic book accessible through the World Wide Web; click to view
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Verification of systems and circuits using LOTOS, Petri Nets, and CCS od Yoeli, Michael, 1917-

Izdano c2008.

An electronic book accessible through the World Wide Web; click to view

Elektronički e-knjiga