Hardware Verification, Boolean Logic Programming, Boolean Functional Programming
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming / Tronci, Enrico. - STAMPA. - (1995), pp. 408-418. (Intervento presentato al convegno Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science tenutosi a San Diego, California, USA nel June 26-29, 1995).
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming
TRONCI, Enrico
1995
Abstract
Hardware Verification, Boolean Logic Programming, Boolean Functional ProgrammingFile allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.