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.

Software Engineering and Formal Methods

11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Software Engineering and Formal Methods Robert Hierons
Codice Libristo: 02016931
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, settembre 2013
This book constitutes the refereed proceedings of the11th International Conference on Software Engin... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Mercedes G-Modell / Libro Libro
common.buy 41.99 €
COUNTRY DANCES JOHN PLAYFORD / Pubblicazioni cartacee Note
common.buy 14.19 €
El ser de una mujer hechicera y su cotidianidad Carlos Restrepo / Libro In brossura
common.buy 56.79 €
Oooh, wie ist das schön! Germán Aczel / Libro Rigido
common.buy 22.19 €
Oldenburg Iris Dahlke / Libro Foglio
common.buy 5.39 €
Fachberatung auf dem Weg zur Profession Elke Alsago / Libro In brossura
common.buy 27.69 €
EPISODIOS SOBRENATURALES EN LA GUERRA CIVIL ROMERO GARCIA / Libro Libro
common.buy 28.39 €
Mein großes Buch der Tiergeräusche / Libro Rigido
common.buy 16.39 €
Cartas Portuguesas BARATA SILVERIO / Libro In brossura
common.buy 26.19 €
America O Canada Bhramanara Dinalipi Prakash Chandra Patra / Libro In brossura
common.buy 16.19 €
Interprétation en chinois; Aspects théoriques et méthodologies didactiques Riccardo Moratto / Libro Rigido
common.buy 87.69 €
Alice au pays des merveilles Carroll / Libro In brossura
common.buy 9.49 €
Die heilige Barbara und der Kirschblütenzweig. Mini-Bilderbuch. Catharina Fastenmeier / Libro Foglio
common.buy 4.19 €
einfach lesen! Moby Dick. Aufgaben und Übungen Kirsten Grossmann / Libro In brossura
common.buy 11.69 €
Wanderjahre in Italien Ferdinand Gregorovius / Libro Rigido
common.buy 23.39 €
Le Lai de Lanval Marie de France / Libro In brossura
common.buy 5.99 €
Liberte de la Presse. Proces de M. Bertin Aine, Redacteur En Chef Et Gerant Responsable Louis-Francois Bertin / Libro In brossura
common.buy 15.09 €
L-Architectes Heinz Wirz / Libro In brossura
common.buy 37.49 €
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Libro In brossura
common.buy 49.39 €

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

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 Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2013
Numero di pagine 321
EAN 9783642405600
ISBN 3642405606
Codice Libristo 02016931
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 5153
Dimensioni 155 x 235 x 19

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

Fifty Years in the East Dr Farhad Daftary / Libro Rigido
common.buy 76.09 €
Software Engineering Elvis C. Foster / Libro In brossura
common.buy 84.09 €
In preparazione
London's Lord Mayors Emma Hatfield / Libro Rigido
common.buy 22.39 €
Job Mona P. Bias / Libro In brossura
common.buy 25.79 €
Brady Lake Fun Book: A Fun and Educational Book About Brady Lake Jobe Leonard / Libro In brossura
common.buy 10.69 €
Magic Molly; The Mirror Maze Trevor Forest / Libro In brossura
common.buy 6.59 €
End Times - What Is It Really About? Michael Joseph Kiser / Libro In brossura
common.buy 17.09 €
Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in Adam Jones / Libro In brossura
common.buy 20.19 €
Fairytale Danielle Steel / Libro In brossura
common.buy 8.89 €
Remembering the Osage Kid Mardi Oakley Medawar / Libro In brossura
common.buy 19.09 €
James Otiss Speech On The Writs Of Assistance, 1906 (1906) James Otiss / Libro In brossura
common.buy 23.19 €
Mountains And Molehills: Or Recollections Of A Burnt Journal (1855) Frank Marryat / Libro In brossura
common.buy 33.99 €
Wushu Shaolin Kung Fu: White Belt Sal Redner / Libro In brossura
common.buy 40.69 €
Making of Americans Gertrude Stein / Libro In brossura
common.buy 18.39 €
In preparazione
Repertory of Pregnancy, Parturition and Puerperium Alberto Soler-Medina / Libro In brossura
common.buy 19.69 €
Benefit Sharing Doris Schroeder / Libro Rigido
common.buy 107.29 €
What Works in Corrections Doris Layton MacKenzie / Libro Rigido
common.buy 147.19 €
White House is Burning Jane Sutcliffe / Libro Rigido
common.buy 15.99 €
Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ... Francis Andrew March / Libro In brossura
common.buy 22.99 €
Fortune like the Moon Alys Clare / Libro In brossura
common.buy 12.49 €
Toyota Land Cruiser Automotive Repair Manual Jeff Kibler / Libro In brossura
common.buy 46.79 €
Appropriation of Native American Spirituality Suzanne Owen / Libro In brossura
common.buy 60.59 €
Asian Crisis: A New Agenda For Euro-asian Cooperation, The Tommy Koh / Libro In brossura
common.buy 45.39 €
Hyperthermia Fabian Bley / Libro In brossura
common.buy 62.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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?