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.

Software Engineering and Formal Methods

12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Software Engineering and Formal Methods Dimitra Giannakopoulou
Codice Libristo: 05147842
Casa editrice Springer International Publishing AG, luglio 2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Percepción de la calidad del servicio universitario: una aproximación Evelyn Ruth Poitevin / Libro In brossura
common.buy 46.59 €
Spor Anatomisi N. simsek Cankur / Libro In brossura
common.buy 16.79 €
Anatomia Coniunctionis Magnae. Oder Beschreibung der grossen und wol mercklichen Zusammenkunfft beyder obersten Planeten Saturns und Jupiters, Welche Carl von Reifitz / Libro In brossura
common.buy 30.89 €
Modelo Terapéutico de Nutrición Funcional en la Obesidad Edwin Enrique Martínez Leo / Libro In brossura
common.buy 43.79 €
Dykare / Libro Rigido
common.buy 31.19 €
Le Talmud de Jerusalem, Volumes 4-5... Moise Schwab / Libro In brossura
common.buy 33.69 €
Totalement jumelles - numéro 9 Devine qui vient danser ? Ashley Olsen / Libro In brossura
common.buy 8.29 €
Pokémon go: la parola pi? cliccata nel web. Anarchia e gioco Riccardo Fenizia / Libro In brossura
common.buy 6.99 €
Die schrillen Vier auf Achse / Hilfe, die Amis kommen, 2 Blu-rays Pembroke J. Herring / Video Blu-ray
common.buy 16.39 €
Wildpflanzen in der Ernährung der Grundbevölkerung Melanesiens Barbara Treide / Libro Rigido
common.buy 140.29 €

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.§The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent 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 Software Engineering and Formal Methods
Autore Dimitra Giannakopoulou, Gwen Salaün
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2014
Numero di pagine 394
EAN 9783319104300
ISBN 3319104306
Codice Libristo 05147842
Casa editrice Springer International Publishing AG
Peso 6263
Dimensioni 155 x 235 x 235

Categorie

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

Dynamical Oceanography Henk A. Dijkstra / Libro In brossura
common.buy 52.69 €
I migliori
Inside Florence Alessandro Moggi / Libro Rigido
common.buy 55.09 €
CHASM MCEWAN STACEY / Libro In brossura
common.buy 15.79 €
Christopher's Blade Scare Street / Libro In brossura
common.buy 15.39 €
Landscape Don McCullin / Libro Rigido
common.buy 57.89 €
I Want To Sleep: Why we struggle to sleep - How we can remedy it. MR Marios Savva / Libro In brossura
common.buy 6.99 €
Positive Psychology in Sport and Physical Activity Abbe Brady / Libro Rigido
common.buy 224.29 €
Handbook of Chinese Cultural Terms Dr Frances Weightman Weightman / Libro In brossura
common.buy 17.29 €
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012 Yongming Li / Libro Rigido
common.buy 282.19 €
In preparazione
US Marine Corps Handbook 1941-45 George Forty / Libro Rigido
common.buy 27.89 €
In preparazione
Pop Revolution Alex Goldfarb Marquis / Libro In brossura
common.buy 16.89 €
Martyrdom and Literature in Early Modern England Susannah Brietz Monta / Libro Rigido
common.buy 124.59 €
Metronomic Chemotherapy, 1 Guido Bocci / Libro Rigido
common.buy 119.39 €
River Channel Restoration - Guiding Principles for Sustainable Projects Andrew Brookes / Libro Rigido
common.buy 352.39 €
In preparazione
X-Men: The Hidden Years Jim Shooter / Libro In brossura
common.buy 6.99 €
In preparazione
Peace and Conflict 2008 J. Joseph Hewitt / Libro In brossura
common.buy 46.69 €
John Stainer Jeremy Dibble / Libro Rigido
common.buy 182.09 €

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?