[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 Karin Breitman
Codice Libristo: 01655066
Casa editrice Springer, Berlin, ottobre 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... 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

Pippi Longstocking Astrid Lindgren / In brossura
common.buy 12.09 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / In brossura
common.buy 11.98 €
Aggressiv Flirten Michael Wiesner / In brossura
common.buy 16.58 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Rigido
common.buy 42.70 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / In brossura
common.buy 79.09 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / In brossura
common.buy 50.83 €
Financial Reform in Central and Eastern Europe Zdenek Drabek / Rigido
common.buy 220.39 €
Grenzen gestalten, Bildbar-KartenSet. Tl.2 Margit Kühne-Eisendle / Foglio
common.buy 43.02 €
Grundformen der Angst Fritz Riemann / Rigido
common.buy 24.72 €
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Rigido
common.buy 56.51 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / In brossura
common.buy 106.93 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / In brossura
common.buy 32.42 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / In brossura
common.buy 20.11 €
State Crisis in Fragile Democracies Samuel Handlin / In brossura
common.buy 54.47 €
Lonely Dead Michael Marshall / In brossura
common.buy 13.69 €

This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.§The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.

Informazioni sul libro

Titolo completo Formal Methods and Software Engineering
Autore Karin Breitman, Ana Cavalcanti
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2009
Numero di pagine 757
EAN 9783642103728
ISBN 3642103723
Codice Libristo 01655066
Casa editrice Springer, Berlin
Peso 1169
Dimensioni 155 x 235 x 30

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 > 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