[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

Formal Methods and Software Engineering

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods and Software Engineering Jim Davies
Codice Libristo: 01560067
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2004
This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Descrizione completa
? points 339 b
143.32 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Egyptology Wayne Anderson / Rigido
common.buy 32.53 €
Génius i popleta Denise Fenziová / Rigido
common.buy 10.91 €
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / Rigido
common.buy 19.36 €
European Renaissance 1400-1600 Robin Kirkpatrick / In brossura
common.buy 43.45 €
The Power of Choices Tracy A. Medling / In brossura
common.buy 13.05 €
Talking to God Thomas L Constable / In brossura
common.buy 27.07 €
Computer Chemistry Ivar Ugi / In brossura
common.buy 72.67 €
Elektrotechnische Messkunde Paul Benjamin Arthur Linker / In brossura
common.buy 79.09 €
Clinical Problem of Masochism Deanna Holtzman / Rigido
common.buy 163.77 €
New Houses in Asia Publishing Images / Rigido
common.buy 45.05 €
Corporate Environmental Strategy and Competitive Advantage Sanjay Sharma / Rigido
common.buy 163.12 €
History of Greek Philosophy: Volume 4, Plato: The Man and his Dialogues: Earlier Period W. K. C. Guthrie / Rigido
common.buy 333.11 €
Esos Rincones Profundos De Mi Alma Georgina Ma Chahin / In brossura
common.buy 16.90 €
Stressed Composite Structures Alexander G. Kolpakov / Rigido
common.buy 143.32 €
Menschliche Bewusstsein und der Hypertext - ein Strukturvergleich Anton Freibacher / In brossura
common.buy 52.44 €
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / In brossura
common.buy 44.95 €

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.§The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

Informazioni sul libro

Titolo completo Formal Methods and Software Engineering
Autore Jim Davies, Wolfram Schulte, Mike Barnett
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2004
Numero di pagine 500
EAN 9783540238416
ISBN 3540238417
Codice Libristo 01560067
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1590
Dimensioni 155 x 235 x 28

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 > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

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