tronci enrico (6 Ergebnisse)

Taschenbuch. Zustand: Neu. Neuware -o cial program. 444 pp. Englisch.

Softcover. Zustand: Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XII, 426 p. Also available online. About this book: his book constitutes the refereed proceedings of the 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2003, held in L'Aquila, Italy in October 2003. The 24 revised full papers and 8 short papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on software verification, automata based methods, processor verification, specification methods, theorem proving, bounded model checking, and model checking and applications. Written for researchers and professionals.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of CHARME 2003, the12th Advanced - search Working Conference on Correct Hardware Design and Veri cation - thods. CHARME 2003 continues the series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the design and veri cation of hardware and hardware-like systems. Previous events in the CHARME series were held in Edinburgh (2001), Bad Herrenalb (1999), Montreal (1997), Frankfurt (1995), Arles (1993) and - rin (1991). This series of meetings were organized in cooperation with IFIP WG 10.5and10.2.Priormeetings,stretchingbacktotheearliestdaysofformalha- wareveri cationwereheldundervariousnamesinMiami(1990),Leuven(1989), Glasgow (1988), Grenoble (1986), Edinburgh (1985) and Darmstadt (1984). We now have a well-established convention whereby the European CHARME con- rence alternates with its biennial counterpart, the International Conference on Formal Methods in Computer-Aided Design(FMCAD),whichisheldinev- numbered years in the USA. CHARME 2003 took place during 21 24 October 2003 at the Computer Science Department of the University of L Aquila, Italy. It was cosponsored by the IFIP TC10/WG10 Working Group on Design and Engineering of Electronic Systems. The CHARME 2003 scienti c program was comprised of: A morning Tutorial by Daniel Geist aimed at industrial and academic - terchange. Two Invited Lectures by Wolfgang Roesner and Fabio Somenzi. Regular Sessions, featuring 24 papers selected out of 65 submissions, r- ging from foundational contributions to tool presentations. Short Presentations, featuring 8 short contributions accompanied by a short presentation. The conference, of course, also included informal tool demonstrations, not announced in the o cial program.

Taschenbuch. Zustand: Neu. Correct Hardware Design and Verification Methods | 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings | Enrico Tronci (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer-Verlag GmbH | EAN 9783540203636 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Copertina rigida. Zustand: discrete. Opera completa in due volumi. Cm.22,3x14,2. Pg.624; LXII, 336, LXII (con numerazione romana che inzia da pg.VII, ma completa). Il primo volume è legato in mz.pelle con piatti marmorizzati e titoli e filetti in oro al dorso; il secondo presenta coperta cartonata editoriale, con artigianale rinforzo al dorso. Vistose sottolineature a matita colorata. Il primo volume comprende "Pisa etrusca", "Pisa sotto il dominio de' Romani", "Annali di Pisa di Paolo Tronci rifusi, arricchiti di molti fatti e seguitati fino all'anno 1840, vol.I"; il secondo contiene "Notizie storiche sulle chiese, sugli stabilimenti caritatevoli e sopra gli edifici più considerabili di Pisa accompagnate da pianta relativa (non presente nel nostro esemplare)"; "Annali di Pisa, vol.II", "Serie cronologiche: Cronologia de' vescovi e arcivescovi di Pisa", "Catalogo cronologico degli uomini più illustri di Pisa (suddiviso in quattro Classi: Personaggi insigni in religione; Letterati e scienziati; Guerrieri e Politici; Artisti"; "Catalogo dei santi e beati". L'Opera costituisce una riedizione rifusa delle "Memorie istoriche della citta' di Pisa" di Paolo Tronci, edite a Livorno nel 1682. L'Autore era Canonico della Primaziale e Vicario Generale dell'Arcivescovo di Pisa Giuliano de' Medici. Il presente testo contiene una continuazione fino al 1840, opera del Valtancoli Montazio. > Lozzi, II, 3686, segnala erroneamente il 1882 come anno di stampa. Inghirami, II, 206, censisce l'edizione pisana del 1828. 1450 gr.

m.perg. coeva con tass. Piantina ripiegata della citta di Pisa divisa in quartieri disegnata e incisa da Tommaso Santoni ad inizio secondo volume. 624 LXII; 335 + LXI con una tavola grande della citta di Pisa p. 2 voll 235x145 mm.