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 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Verification, Model Checking, and Abstract Interpretation

Lingua IngleseInglese
Libro In brossura
Libro Verification, Model Checking, and Abstract Interpretation Constantin Enea
Codice Libristo: 21040880
Casa editrice Springer Nature Switzerland AG, gennaio 2019
This book constitutes the refereed proceedings of the 20th International Conference on Verification,... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Vesper Chronicles, 1 Blu-ray Kristina Buozyte / Video Blu-ray
common.buy 15.39 €
I migliori
One Piece Color Walk - Tome 09 Eiichiro Oda / Libro In brossura
common.buy 31.69 €
Les Drapeaux du monde expliqués aux enfants Sylvie Bednar / Libro Rigido
common.buy 25.49 €
Á Fer? Og Flugi: Kv??abálkur Stephan Guðmundsson Stephansson / Libro In brossura
common.buy 17.09 €
Gefühle Wimmelbuch Alexandra Helm / Libro Leporello
common.buy 12.29 €
Football - The Ultimate Book Bernd Pohlenz / Libro Rigido
common.buy 60.49 €
Dragon Ball Serie Roja nº 282 Akira Toriyama / Libro In brossura
common.buy 5.19 €
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft' / Libro In brossura
common.buy 15.09 €
Kníhkupectvo nových začiatkov Jenny Colgan / Libro Rigido
common.buy 22.39 €
Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave Silvia Jaquenod de Zsögön / Libro In brossura
common.buy 22.99 €
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen Hans Krause / Libro In brossura
common.buy 80.29 €
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken Michael Embach / Libro Rigido
common.buy 93.69 €
Zermatt / Libro In brossura
common.buy 20.19 €
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM / Digitale CD digitale
common.buy 129.39 €
Transferencia de calor en un sistema solar de calentamiento de aire Alfredo Flores Irigollen / Libro In brossura
common.buy 33.59 €
Correspondances D'Alger 1962 Didier Robert-Ales / Libro In brossura
common.buy 64.99 €
Mandy Birgit Zaczek / Libro In brossura
common.buy 5.89 €
Actividades de animación para la tercera edad Jacques Choque / Libro In brossura
common.buy 34.39 €
Tirant lo Blanc (versió Palomero) JOANOT MARTORELL / Libro In brossura
common.buy 27.69 €
Contratiempos Kahane / Libro In brossura
common.buy 15.09 €
Schule für kleine Trommel Felix Dierkes / Libro In brossura
common.buy 37.39 €
In preparazione
FRE-SANS MASQUE Truda Rosenberg / Libro In brossura
common.buy 17.29 €
Schleich Weißwedelkalb, Kunststoff-Figur Schleich® / Gioco/giocattolo Giocattolo
common.buy 6.29 €
Polednice Plešatá palice H:o)nza Vojtko / Libro In brossura
common.buy 11.39 €

This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract

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 Verification, Model Checking, and Abstract Interpretation
Autore Constantin Enea, Ruzica Piskac
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2019
Numero di pagine 602
EAN 9783030112448
ISBN 3030112446
Codice Libristo 21040880
Casa editrice Springer Nature Switzerland AG
Peso 937
Dimensioni 155 x 235 x 235

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software > Test e verifica del software
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

Environmental Policymaking in an Era of Climate Change NOWLIN / Libro In brossura
common.buy 63.69 €
Advanced Python Programming DR. GABRIELE LANARO / Libro In brossura
common.buy 46.29 €
Swallow (NHB Modern Plays) Stef Smith / Libro elettronico Adobe ePub DRM
common.buy 17.19 €
I migliori
Istanbul Bettany Hughes / Libro In brossura
common.buy 16.89 €
The Quest of the Four: A Story of the Comanches and Buena Vista Joseph A. Altsheler / Libro In brossura
common.buy 15.19 €
Concrete Roses Le'Taxione / Libro In brossura
common.buy 15.39 €
The Tragedy of Coriolanus: A Play William Shakespeare / Libro In brossura
common.buy 8.89 €
History and Analysis of the Common law of England. Written by a Learned Hand MATTHEW HALE / Libro Rigido
common.buy 34.79 €
I migliori
Demon in the Wood Leigh Bardugo / Libro Rigido
common.buy 16.89 €
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS: THOMAS MAUDE / Libro Rigido
common.buy 31.79 €
City of Dusk Tara Sim / Libro Rigido
common.buy 19.69 €
Confessions Of A Hollywood Voice & Speech Coach Morton Cooper / Libro In brossura
common.buy 13.59 €
A Short History Of England (1917) G. K. Chesterton / Libro In brossura
common.buy 25.49 €
The Negroni Matt Hranek / Libro Rigido
common.buy 16.59 €
LEGO Arduino Cookbook Grady Koch / Libro In brossura
common.buy 43.59 €
Cambridge Primary World English Learner's Book Stage 1 Gill Budgell / Libro In brossura
common.buy 21.89 €
Cannabinoid Cookbook Daniel Green / Libro Rigido
common.buy 28.19 €
I migliori
Nomadland Jessica Bruder / Video DVD
common.buy 9.29 €
I migliori
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12 Shirotaka / Libro In brossura
common.buy 12.29 €
What in the World? Look Again National Geographic Kids / Libro Rigido
common.buy 13.89 €
Restless Souls Alisa Statman / Libro In brossura
common.buy 13.89 €
Children, Social Science, and the Law Bette L. BottomsMargaret Bull KoveraBradley D. McAuliff / Libro In brossura
common.buy 74.39 €
Nibbles: The Very Hungry Book Monster Emma Yarlett / Libro In brossura
common.buy 9.19 €
The Complete APA 7th Edition Guide Gregory Dixon / Libro In brossura
common.buy 14.19 €

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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?