Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Computer Aided Verification

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Computer Aided Verification Alan J. Hu
Codice Libristo: 05274836
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, giugno 1998
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided... Descrizione completa
? points 263 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Moderno diccionario del diablo MARCIUS SHAPIRO / Libro Rigido
common.buy 17.39 €
In preparazione
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Libro Libro
common.buy 12.29 €
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Libro Foglio
common.buy 13.39 €
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Libro In brossura
common.buy 14.19 €
Brest abri 668 GERARD Libro In brossura
common.buy 13.49 €
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Libro In brossura
common.buy 13.49 €
Messmer winterpunsch tee, 50g Gioco/giocattolo Giocattolo
common.buy 7.29 €
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Libro In brossura
common.buy 52.19 €
On ne parle pas aux chouchous ! Kecir-Lepetit / Libro In brossura
common.buy 8.29 €
Hermeneutiken Lutz Danneberg / Libro Rigido
common.buy 196.19 €
Hase und Igel Axel Scheffler / Libro In brossura
common.buy 6.99 €
Bu Benim.Zip Asli Serin / Libro In brossura
common.buy 11.59 €
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Libro In brossura
common.buy 57.89 €
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Libro In brossura
common.buy 16.09 €
100 Abenteuerreisen Rudolf S Rehberg / Libro In brossura
common.buy 36.49 €
Strategien der Identitätssuche Iris Julia Gütler / Libro In brossura
common.buy 62.29 €
Hannebambel Roland Pecher / Gioco/giocattolo Gioco
common.buy 8.89 €
neue E-Bilanz Judith Pohler / Libro In brossura
common.buy 23.49 €

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Computer Aided Verification
Autore Alan J. Hu, Moshe Y. Vardi
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1998
Numero di pagine 552
EAN 9783540646082
ISBN 3540646086
Codice Libristo 05274836
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 720
Dimensioni 156 x 234 x 29

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Selected Articles on Social Insurance. Multiple Contributors / Libro In brossura
common.buy 37.49 €
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Libro In brossura
common.buy 12.29 €
Kept for Jesus Sam Storms / Libro In brossura
common.buy 19.79 €
Liberal Quicksand Yves Decock / Libro In brossura
common.buy 26.49 €
Fenway Park David Hickey / Libro In brossura
common.buy 20.59 €
The Founding Foodies Dave DeWitt / Libro In brossura
common.buy 21.89 €
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Libro In brossura
common.buy 17.89 €
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Libro In brossura
common.buy 13.19 €
Principles of Marketing Philip T. Kotler / Libro Rigido
common.buy 261.49 €
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Libro Rigido
common.buy 35.79 €
When the Clouds Fell from the Sky Robert Carmichael / Libro elettronico Adobe ePub DRM
common.buy 4.59 €
Precedents in Conveyancing: A Collection of Forms of Assurances of Real and Personal Property Adapted to the Present State of the Law ... Volume 4 S Vallis Bone / Libro In brossura
common.buy 30.29 €
THE CHORDATES HERBERT W. 187 RAND / Libro In brossura
common.buy 37.69 €
Uncovered Ian Birch / Libro Rigido
common.buy 54.69 €
Third Sector Meghan Kallman / Libro In brossura
common.buy 26.39 €
Orson Welles Chris Wade / Libro In brossura
common.buy 16.19 €
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Libro Rigido
common.buy 146.19 €
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Libro In brossura
common.buy 41.89 €
Challenge of Democratic Representation in the European Union Sandra Kroger / Libro Rigido
common.buy 57.79 €
Dark Object Don Ledger / Libro In brossura
common.buy 7.29 €
ENT MCQs for Medical Students Mannu Odutoye / Libro In brossura
common.buy 56.79 €
Arsenic in the Environment, Part 2 J. O. Nriagu / Libro Rigido
common.buy 304.69 €
Companion to 19th-Century America Barney / Libro In brossura
common.buy 62.59 €
Vegan Family Meals Ann Gentry / Libro Rigido
common.buy 23.79 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo