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

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Integrated Formal Methods Elvira Albert
Codice Libristo: 05147795
Casa editrice Springer International Publishing AG, agosto 2014
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Fo... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Surrender to the Fantasy Magik Markers / Audio CD audio
common.buy 22.79 €
Perfektionismus im Schulkontext / Libro In brossura
common.buy 16.89 €
Studio dell'altezza facciale inferiore Mustapha Amad Neto / Libro In brossura
common.buy 22.49 €
Mia Moglie mi Tradisce Lara Steele / Libro Rigido
common.buy 23.49 €
The Grey - Unter Wölfen, 1 Blu-ray Roger Barton / Video Blu-ray
common.buy 13.89 €
Missa Sancti Amandi, Partitur Joseph Haydn / Pubblicazioni cartacee Note
common.buy 45.29 €
A2 Key for schools Trainer 2 / Libro In brossura
common.buy 45.89 €
Storm Child Fountain / Libro In brossura
common.buy 10.29 €
Гендер, культура и фукусимская катастрофа / Libro Rigido
common.buy 24.59 €
Boy's Abyss 11 Nana Umino / Libro In brossura
common.buy 7.69 €
Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo / Libro In brossura
common.buy 13.49 €
Recueil De Contes Populaires Grecs Anonymous / Libro Rigido
common.buy 35.79 €
Le Triomphe de la méthode Fauchere / Libro Rigido
common.buy 12.59 €
Die italienische Plastik Wilhelm Bode / Libro Rigido
common.buy 123.99 €
Jetzt sag ich's Waltraut Haas / Libro elettronico Adobe ePub DRM
common.buy 20.49 €
Innovatives Regelungs- und Überwachungssystem zur Schadstoffminderung und Effizienzerhöhung in häuslichen Biomasseheizkesseln. Niro Akbary / Libro In brossura
common.buy 55.59 €
Dopamin Rowena Kong / Libro In brossura
common.buy 37.29 €
Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre / Libro In brossura
common.buy 16.19 €
POR TIERRAS DE SALAMANCA GRANDE DEL BRIO / Libro Rigido
common.buy 29.09 €
Tajemství stříbrné klisny Julie Wald / Libro Rigido
common.buy 9.69 €
Ya soy mayor y puedo ayudar a los demás LOLL KIRBY / Libro In brossura
common.buy 18.09 €
Promouvoir une agriculture paysanne, écologique et solidaire en Europe BEDE / Libro In brossura
common.buy 14.09 €

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

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 Elvira Albert, Emil Sekerinski
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2014
Numero di pagine 390
EAN 9783319101804
ISBN 3319101803
Codice Libristo 05147795
Casa editrice Springer International Publishing AG
Peso 6088
Dimensioni 155 x 235 x 22

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

Solidarity in Health and Social Care in Europe W. Arts / Libro In brossura
common.buy 214.29 €
VOCABULARY SUCCESS B2 FCE SELF STUDY / Libro Libro
common.buy 23.09 €
Practical Spirituality and Human Development Ananta Kumar Giri / Libro Rigido
common.buy 110.59 €
Brownies in the Attic S a Parks / Libro In brossura
common.buy 9.19 €
Facilitator's & Trainer's Toolkit Artie Mahal / Libro In brossura
common.buy 24.29 €
Sins of a Wicked Princess Anna Randol / Libro In brossura
common.buy 9.59 €
Black Ice Lorene Cary / Libro In brossura
common.buy 17.39 €
Computer Algebra in Scientific Computing Vladimir P. Gerdt / Libro In brossura
common.buy 57.79 €
Find Wonder in the Ordinary: A Kid's Book for Adults Bernie Freytag / Libro In brossura
common.buy 20.09 €
2nd Chance James Patterson / Libro In brossura
common.buy 12.49 €
Cursive Alphabet Mike Stewart / Libro In brossura
common.buy 10.09 €
Multimedia Modernism Julian Murphet / Libro Rigido
common.buy 137.89 €
The Complete Idiot's Guide to Dirty Jokes David Pietras / Libro In brossura
common.buy 18.49 €
2 Life's Stories J L Albesa / Libro In brossura
common.buy 6.49 €
Church history: Historia Ecclesiastica or Historia Ecclesiae Eusebius of Caesarea / Libro In brossura
common.buy 26.79 €
Lower Secondary Maths Progress Teacher's Guide: Stage 8 Alastair Duncombe / Libro In brossura
common.buy 71.79 €
Analytical QbD Approach for Enhanced Robustness of HPLC Methods Sarwar Beg / Libro In brossura
common.buy 33.59 €
The Secrets of the Notebook: A Woman's Quest to Uncover Her Royal Family Secret Eve Haas / Libro In brossura
common.buy 17.39 €
Paddling Idaho Greg Stahl / Libro In brossura
common.buy 23.79 €
Empire of Cotton Sven Beckert / Libro In brossura
common.buy 14.99 €
THE ROMANS OF BRITAIN HENRY CHARLES COOTE / Libro In brossura
common.buy 36.59 €
Chapters Of Opera Henry Edward Krehbiel / Libro In brossura
common.buy 24.79 €
Elementary and Practical Treatise On Bridge Building. Squire Whipple / Libro In brossura
common.buy 28.89 €
Glasgow Sean Damer / Libro In brossura
common.buy 20.89 €

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?