|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990004887890403321 |
|
|
Autore |
Maffei, Scipione <1675-1755> |
|
|
Titolo |
Verona illustrata di Scipione Maffei con giunte, note e correzioni inedite dell'autore. Parte prima (-quarta) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Milano : dalla Società tipografica de' classici italiani, 1825-1826 |
|
|
|
|
|
|
|
Descrizione fisica |
|
5 v., [34] c. di tav. : ill. ; 24 cm |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
SG 900/B 59 (1) |
SG 900/B 59 (2) |
SG 900/B 59 (3) |
SG 900/B 59 (4) |
SG 900/B 59 (5) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
1.-2.: Contiene l'istoria della città e in gran parte anche della provincia detta anticamente Venezia dalla origine fino alla venuta in Italia di Carlo Magno 3.: Contiene l'istoria letteraria o sia la notizia degli scrittori veronesi 4.: Contiene la notizia delle cose in questa città più osservabili 5.: Contiene il trattato degli anfiteatri e singolarmente del veronese |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910782378903321 |
|
|
Titolo |
Formal logical methods for system security and correctness [[electronic resource] /] / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam, Netherlands ; ; Washington, DC, : IOS Press, c2008 |
|
|
|
|
|
|
|
ISBN |
|
6611733469 |
1-281-73346-6 |
9786611733469 |
1-4356-7788-9 |
1-60750-315-8 |
600-00-0427-3 |
1-4337-1233-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (332 p.) |
|
|
|
|
|
|
Collana |
|
NATO security through science series. D, Information and communication security, , 1874-6268 ; ; v. 14 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
GrumbergOrna |
NipkowTobias <1958-> |
PfallerChristian |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer security |
Computer logic |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Title page; Preface; Contents; Compilation of Certificates; Formal Foundations of Computer Security; Building a Software Model Checker; Symbolic Trajectory Evaluation (STE): Automatic Refinement and Vacuity Detection; Automated and Interactive Theorem Proving; Correctness of Effect-Based Program Transformations; Abstract and Concrete Models for Recursion; Secrecy Analysis in Protocol Composition Logic; The Engineering Challenges of Trustworthy Computing; Reflecting Quantifier Elimination for Linear Arithmetic; Content in Proofs of List Reversal; Proof Theory, Large Functions and Combinatorics |
Author Index |
|
|
|
|
|
|
|