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.

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 210 b
85.89 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Libro In brossura
common.buy 13.99 €
Entre chiens et loups Méndez / Libro In brossura
common.buy 18.79 €
In preparazione Nuovi
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Libro In brossura
common.buy 30.79 €
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 67.89 €
Atrás Da Muralha / Libro In brossura
common.buy 15.39 €
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / Libro elettronico Adobe ePub DRM
common.buy 17.09 €
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Libro In brossura
common.buy 26.19 €
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Libro In brossura
common.buy 28.19 €
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Libro Rigido
common.buy 21.39 €
Du matériau à l'architecture László Moholy-Nagy / Libro In brossura
common.buy 40.39 €
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Libro In brossura
common.buy 160.29 €
AMETS POLITAK IZAN, MAITEA AA VV / Libro Rigido
common.buy 9.59 €
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Libro In brossura
common.buy 14.19 €
Bettine von Arnim: Liedkompositionen Paul A Koch / Libro In brossura
common.buy 15.99 €

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 59.19 €
Inhuman Relations Scott Becker / Libro In brossura
common.buy 20.09 €
Championship DNA Gideon Mulinge Mwololo / Libro In brossura
common.buy 20.09 €
Return to Social Justice Jessica Urwin / Libro In brossura
common.buy 127.19 €
A Soldier's Daughter (Illustrated) G. A. Henty / Libro In brossura
common.buy 6.99 €
History of the Fishes of the British Islands Jonathan Couch / Libro In brossura
common.buy 24.29 €
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Libro In brossura
common.buy 36.89 €
Submissionary Sherryle Kiser Jackson / Libro In brossura
common.buy 15.39 €
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Libro Rigido
common.buy 33.69 €
Preparing for Blockade 1885-1914 COBB / Libro In brossura
common.buy 85.09 €
Gerrit Smith Octavius Brooks Frothingham / Libro Rigido
common.buy 62.79 €
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Libro In brossura
common.buy 17.09 €
Information Processing in Medical Imaging Alan C. F. Colchester / Libro In brossura
common.buy 107.29 €
Jack Wilshere - Arsenal DNA Joe Jacobs / Libro Rigido
common.buy 16.09 €
Global Legal Pluralism Paul Schiff Berman / Libro In brossura
common.buy 71.19 €
Housekeepers Handy Book Lucia Baxter / Libro In brossura
common.buy 18.89 €
International Law Reports E. LauterpachtC. J. Greenwood / Libro Rigido
common.buy 231.99 €

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?