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

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Software Engineering and Formal Methods Radu Calinescu
Codice Libristo: 09480142
Casa editrice Springer International Publishing AG, agosto 2015
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

Dors bien, petit loup - Sov gott, lilla vargen (francais - suedois) Ulrich Renz / Libro In brossura
common.buy 13.99 €
PUZZLE 2x70 - Samochodziki Hot Wheels 34442 / Gioco/giocattolo Puzzle
common.buy 3.89 €
Ambicion Del Ave Fenix Oscar de Benito / Libro In brossura
common.buy 18.89 €
CONTRA LA CULTURA LABRUCE / Libro Libro
common.buy 22.89 €
Saison Anneline Dintilhac / Libro In brossura
common.buy 17.39 €
Zanoni Lytton / Libro In brossura
common.buy 27.49 €
Inselhupfen in Griechenland Gabriele Lackner / Libro In brossura
common.buy 16.09 €
Buonanotte! Benji Davies / Libro Rigido
common.buy 17.39 €
Cine con sentido : una lectura humano-evangelizadora del cine VILLEGAS SALDAÑA / Libro In brossura
common.buy 14.59 €

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.§The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model 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 Radu Calinescu, Bernhard Rumpe
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2015
Numero di pagine 369
EAN 9783319229683
ISBN 3319229680
Codice Libristo 09480142
Casa editrice Springer International Publishing AG
Peso 5796
Dimensioni 155 x 235 x 23

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

Elements of Brakigraphy John Thomas Porter / Libro In brossura
common.buy 12.29 €
I migliori Nuovi
Bourbon & Proof WILDER VICTORIA / Libro In brossura
common.buy 16.49 €
Dead Ringers: Series 20-23 Plus Specials Jon Culshaw / Audiolibro MP3
common.buy 13.99 €
Go! Go! Dino!: Ready-To-Read Level 1 Kaz Windness / Libro In brossura
common.buy 4.99 €
Microbe Science for Gardeners: Secrets to Better Plant Health Robert Pavlis / Libro In brossura
common.buy 21.49 €
Priestly Ministry and the People of God Richard Lennan / Libro In brossura
common.buy 24.29 €
Modernism in 6 Mediums: The Unknown Art of Chaim Goldberg Shalom Goldberg / Libro In brossura
common.buy 26.39 €
Timid Devney Perry / Libro In brossura
common.buy 19.09 €
Biodeconstruction: Jacques Derrida and the Life Sciences Francesco Vitale / Libro In brossura
common.buy 42.89 €
Adventures Of Scratching Scratch & Smacking Mack Shirley Priscilla Johnson / Libro In brossura
common.buy 15.39 €
Headhunters Mark Dawson / Libro In brossura
common.buy 17.29 €
I migliori
The Satanic Rituals Anton Szandor Lavey / Libro In brossura
common.buy 8.89 €
Regularized Radial Basis Function Networks - Theory & Applications Paul V. Yee / Libro Rigido
common.buy 182.79 €
Configuring Sales and Distribution in SAP ERP Ricardo Lopez / Libro Rigido
common.buy 78.59 €
Walking and Trekking on Corfu Gillian Price / Libro In brossura
common.buy 20.09 €
How To Build an Eco-Friendly Greenhouse Andros Zacharia / Libro In brossura
common.buy 27.19 €
Disruptive Behavior Disorders Frank M. Gresham / Libro In brossura
common.buy 44.79 €
Boomeritis Ken Wilber / Libro In brossura
common.buy 29.59 €

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?