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 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods and Software Engineering

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

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

30 giorni per il reso

I clienti hanno acquistato anche

Mapa National Portugal, Madeira 2021 / Libro binding.
common.buy 12.59 €
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Libro In brossura
common.buy 10.69 €
L'enfant du mistral Jean-Michel Thibaux / Libro In brossura
common.buy 9.99 €
Régression avec Python Rouvière / Libro In brossura
common.buy 42.69 €
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Libro In brossura
common.buy 16.89 €
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Libro In brossura
common.buy 16.49 €
Pays natal Dhotel / Libro In brossura
common.buy 14.39 €
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Libro In brossura
common.buy 55.99 €
Grundlagen des Zeichnens John Ruskin / Libro Rigido
common.buy 22.69 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / Libro In brossura
common.buy 9.79 €
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Libro In brossura
common.buy 74.79 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Libro In brossura
common.buy 19.69 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Libro In brossura
common.buy 43.99 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Libro In brossura
common.buy 20.29 €
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Libro In brossura
common.buy 28.19 €
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Libro In brossura
common.buy 22.99 €
Aggressiv Flirten Michael Wiesner / Libro In brossura
common.buy 14.09 €
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Libro Rigido
common.buy 21.49 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Libro In brossura
common.buy 55.29 €
Grundformen der Angst Fritz Riemann / Libro Rigido
common.buy 22.79 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Libro In brossura
common.buy 99.09 €

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.

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

Potrebbe interessarti anche

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Libro In brossura
common.buy 68.39 €
Julissa's Reading Log Martha Day Zschock / Libro Rigido
common.buy 16.49 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Libro Rigido
common.buy 36.99 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Libro In brossura
common.buy 27.89 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Libro Rigido
common.buy 24.99 €
Winter of Ice and Iron Rachel Neumeier / Libro In brossura
common.buy 14.99 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Libro In brossura
common.buy 6.49 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Libro In brossura
common.buy 8.89 €
Resurrecting Artwork MCGUIRE / Libro In brossura
common.buy 13.69 €
Hydrogeology Dassargues / Libro Rigido
common.buy 117.09 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Libro Rigido
common.buy 178.49 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Libro In brossura
common.buy 8.29 €
Business Result: Elementary: Class Audio CD David Grant / Audio CD audio
common.buy 36.49 €
State Crisis in Fragile Democracies Samuel Handlin / Libro In brossura
common.buy 49.79 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Libro Rigido
common.buy 110.89 €
Understanding Gangs and Gang Violence in America MORALES / Libro In brossura
common.buy 131.49 €
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Libro In brossura
common.buy 13.89 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Libro In brossura
common.buy 38.49 €
Sailor's Logbook Mark L. Thompson / Libro In brossura
common.buy 34.89 €
Ethical and Professional Issues in Nursing W Tadd / Libro In brossura
common.buy 67.49 €
Pippi Longstocking Astrid Lindgren / Libro In brossura
common.buy 10.29 €
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Libro In brossura
common.buy 205.09 €
Love Wins Elizabeth Martin / Libro elettronico Adobe ePub DRM
common.buy 4.79 €
Formal Logic P. Lorenzen / Libro In brossura
common.buy 107.29 €

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