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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Integrated Formal Methods Erika Ábrahám
Codice Libristo: 02975401
Casa editrice Springer International Publishing AG, maggio 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Descrizione completa
? points 178 b
72.69 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Uebersetzung von deutschen zusammengesetzten Adjektiven ins Polnische anhand der Romane von Elfriede Jelinek Badstubner-Kizik Camilla Badstubner-Kizik / Libro elettronico Adobe ePub DRM
common.buy 54.69 €
Atrás Da Muralha / Libro In brossura
common.buy 12.89 €
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Libro In brossura
common.buy 24.09 €
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / Libro elettronico Adobe ePub DRM
common.buy 13.79 €
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Libro In brossura
common.buy 21.89 €
Economico
Poutine, maître du jeu ? Baud / Libro Libro
common.buy 18.29 €
Entre chiens et loups Méndez / Libro In brossura
common.buy 14.59 €
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Libro Rigido
common.buy 17.99 €
Du matériau à l'architecture László Moholy-Nagy / Libro In brossura
common.buy 31.69 €
Biblioth?que Françoise: Ou Histoire De La Littérature Françoise Claude-Pierre Goujet / Libro In brossura
common.buy 23.19 €
Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Libro In brossura
common.buy 12.19 €
AMETS POLITAK IZAN, MAITEA AA VV / Libro Rigido
common.buy 7.79 €
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Libro In brossura
common.buy 135.59 €
USA King Crimson Audio CD audio
common.buy 19.19 €
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Libro In brossura
common.buy 11.79 €
Los siete principios del hombre : la auténtica identidad del ser humano Annie Besant / Libro In brossura
common.buy 11.39 €
Wild Hubert Krenn / Libro Rigido
common.buy 12.09 €
Bettine von Arnim: Liedkompositionen Paul A Koch / Libro In brossura
common.buy 12.49 €

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

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 Integrated Formal Methods
Autore Erika Ábrahám, Marieke Huisman
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2016
Numero di pagine 538
EAN 9783319336923
ISBN 3319336924
Codice Libristo 02975401
Casa editrice Springer International Publishing AG
Peso 8248
Dimensioni 155 x 235 x 29

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
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
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

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Libro Rigido
common.buy 46.39 €
Inhuman Relations Scott Becker / Libro In brossura
common.buy 16.19 €
Championship DNA Gideon Mulinge Mwololo / Libro In brossura
common.buy 16.19 €
Return to Social Justice Jessica Urwin / Libro In brossura
common.buy 108.19 €
Children's songs & nursery rhymes for easy piano. Vol 3. Tomeu Alcover / Libro In brossura
common.buy 12.29 €
A Soldier's Daughter (Illustrated) G. A. Henty / Libro In brossura
common.buy 5.59 €
History of the Fishes of the British Islands Jonathan Couch / Libro In brossura
common.buy 20.29 €
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Libro In brossura
common.buy 29.69 €
Submissionary Sherryle Kiser Jackson / Libro In brossura
common.buy 12.39 €
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Libro Rigido
common.buy 27.49 €
Preparing for Blockade 1885-1914 COBB / Libro In brossura
common.buy 75.09 €
Housekeepers Handy Book Lucia Baxter / Libro In brossura
common.buy 16.29 €
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Libro In brossura
common.buy 13.89 €
International Law Reports E. LauterpachtC. J. Greenwood / Libro Rigido
common.buy 189.49 €
14 Minutes Alberto Salazar / Libro In brossura
common.buy 10.69 €
Global Legal Pluralism Paul Schiff Berman / Libro In brossura
common.buy 58.29 €
Simple Solutions Ergonomics for Construction Workers - Scholar's Choice Edition Department of Health and Human Services / Libro In brossura
common.buy 17.09 €
Jack Wilshere - Arsenal DNA Joe Jacobs / Libro Rigido
common.buy 13.19 €
Information Processing in Medical Imaging Alan C. F. Colchester / Libro In brossura
common.buy 90.79 €
Contemporary Consumption Rituals Cele C. Otnes / Libro In brossura
common.buy 73.39 €
Of Time and Tide Malleus Maleficarum Jr / Libro In brossura
common.buy 10.69 €

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