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

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Yoeli, Michael
Awduron Eraill:	Kol, Rakefet
Cyhoeddwyd:	John Wiley & Sons, Incorporated
Pynciau:	UMZ Computers Integrated circuits > Verification Computer programming Computer science UPD Parallel processing Computer engineering Distributed control systems Design LOTOS (Computer program language) Engineering Petri nets Electrical engineering Integrated circuits > Verification. ; Computer software > Verification. ; LOTOS (Computer program language) ; Petri nets. Computer software > Verification
Mynediad Ar-lein:	Full Text - Ebook
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Byddwch y cyntaf i adael sylw!