FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS

Salvato in:

Dettagli Bibliografici
Autore principale:	MILNE GEORGE
Natura:	Libro
Pubblicazione:	NEW YORK MCGRAW HILL 1994
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

MARC


LEADER	00000nam a2200000Ia 4500
100		\|a MILNE GEORGE
250
020
245		\|a FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS
260		\|b MCGRAW HILL \|a NEW YORK \|c 1994
082		\|a R621.381
300		\|a xi , 256
952		\|0 0 \|1 0 \|4 0 \|6 R_621_381000000000000 \|7 0 \|9 40677 \|a 00000044 \|b 00000044 \|d 2011-05-23 \|g 1839.29 \|l 0 \|o R621.381 \|p 26173 \|r 2017-05-16 00:00:00 \|w 2017-05-16 \|y BK
999		\|c 16565 \|d 16565