| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910481737003321 |
|
|
Autore |
Tubini, Antonio |
|
|
Titolo |
Septe peccati mortali/ & la emendatione di decti peccati [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
Descrizione fisica |
|
Online resource ([4] c., 4°) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Reproduction of original in Biblioteca Nazionale Centrale di Firenze. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910143004003321 |
|
|
Titolo |
Formal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified], : IEEE Computer Society, 2007 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Digital integrated circuits - Computer-aided design |
Integrated circuits - Verification |
Formal methods (Computer science) - Design and construction - Mathematics |
Digital integrated circuits |
Electrical & Computer Engineering |
Electrical Engineering |
Engineering & Applied Sciences |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
| |