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 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Software Engineering and Formal Methods

10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Software Engineering and Formal Methods George Eleftherakis
Codice Libristo: 01662280
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2012
This book constitutes the refereed proceedings of the 10th International Conference on Software Engi... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

El cuidado de tu caballo Cherry Hill / Libro In brossura
common.buy 22.69 €
Tom Gatesin Harika Dünyasi Liz Pichon / Libro In brossura
common.buy 18.79 €
Le Grand Meaulnes Alain-Fournier / Libro In brossura
common.buy 10.59 €
Unter Robben und Eisbaren. Meine ersten Erlebnisse im Eismeer Fridtjof Nansen / Libro In brossura
common.buy 23.49 €
LESEZUG/2. Klasse: Drachen mögen keinen Schluckauf Daniela Jarosz / Libro Rigido
common.buy 8.99 €
Schachmatt! Garri Kasparow / Libro Rigido
common.buy 12.59 €
Der Sterne Tennisbälle Stephen Fry / Libro In brossura
common.buy 16.09 €

This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods.

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 Software Engineering and Formal Methods
Autore George Eleftherakis, Mike Hinchey, Mike Holcombe
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2012
Numero di pagine 384
EAN 9783642338250
ISBN 3642338259
Codice Libristo 01662280
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 611
Dimensioni 155 x 235 x 22

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica
Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
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
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale
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

Northamptonshire Home Guard 1940-1945 B. G. Holloway / Libro In brossura
common.buy 22.09 €
Experiments Upon the Heart of the Dog William Henry Howell / Libro In brossura
common.buy 12.49 €
My Grampy is Santa Claus Byranna Kaster / Libro In brossura
common.buy 10.69 €
Make It Work: 22 Time-Tested, Real-Life Lessons for Sustaining a Healthy, Happy Relationship Gaskins / Libro In brossura
common.buy 18.39 €
Adventures of the Ramrod Rider John D Nesbitt / Libro In brossura
common.buy 15.39 €
Grotesquerie Eden Royce / Libro In brossura
common.buy 18.19 €
GI Surgery Annual Peush Sahni / Libro Rigido
common.buy 105.09 €
Handbook of Multilingualism and Multilingual Communication Peter Auer / Libro In brossura
common.buy 41.99 €
Jayda's Reading Log Martha Day Zschock / Libro Rigido
common.buy 16.49 €
In preparazione
The South During Reconstruction, 1865--1877: A History of the South E. Merton Coulter / Libro Rigido
common.buy 80.19 €
Lincoln Lincoln Historical Society / Libro In brossura
common.buy 20.59 €
Early Democracies in the Low Countries Henri Pirenne / Libro In brossura
common.buy 21.29 €
Brochs of Scotland J. N. Graham Ritchie / Libro In brossura
common.buy 10.09 €
Educational Innovation in Economics and Business III Richard G. Milter / Libro Rigido
common.buy 173.59 €

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?