Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Libro Software Engineering and Formal Methods Radu Calinescu

Software Engineering and Formal Methods

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

Lingua

Inglese

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

Codice Libristo: 09480142

?

points

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Dors bien, petit loup - Sov gott, lilla vargen (francais - suedois) Ulrich Renz

/

In brossura

13.99 €

PUZZLE 2x70 - Samochodziki Hot Wheels 34442

/

Puzzle

3.09 €

Ambicion Del Ave Fenix Oscar de Benito

/

In brossura

15.59 €

CONTRA LA CULTURA LABRUCE

/

Libro

20.09 €

Saison Anneline Dintilhac

/

In brossura

13.39 €

Zanoni Lytton

/

In brossura

22.39 €

Inselhupfen in Griechenland Gabriele Lackner

/

In brossura

13.39 €

Buonanotte! Benji Davies

/

Rigido

13.77 €

Cine con sentido : una lectura humano-evangelizadora del cine VILLEGAS SALDAÑA

/

In brossura

11.79 €

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

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

/

In brossura

10.19 €

Bourbon & Proof WILDER VICTORIA

/

In brossura

13.79 €

Dead Ringers: Series 20-23 Plus Specials Jon Culshaw

/

MP3

11.29 €

Go! Go! Dino!: Ready-To-Read Level 1 Kaz Windness

/

In brossura

3.89 €

Microbe Science for Gardeners: Secrets to Better Plant Health Robert Pavlis

/

In brossura

14.49 €

Priestly Ministry and the People of God Richard Lennan

/

In brossura

18.59 €

Modernism in 6 Mediums: The Unknown Art of Chaim Goldberg Shalom Goldberg

/

In brossura

21.29 €

Timid Devney Perry

/

In brossura

15.59 €

Biodeconstruction: Jacques Derrida and the Life Sciences Francesco Vitale

/

In brossura

35.99 €

Adventures Of Scratching Scratch & Smacking Mack Shirley Priscilla Johnson

/

In brossura

15.39 €

Headhunters Mark Dawson

/

In brossura

13.89 €

The Satanic Rituals Anton Szandor Lavey

/

In brossura

6.79 €

Regularized Radial Basis Function Networks - Theory & Applications Paul V. Yee

/

Rigido

148.99 €

Configuring Sales and Distribution in SAP ERP Ricardo Lopez

/

Rigido

66.19 €

Walking and Trekking on Corfu Gillian Price

/

In brossura

16.29 €

How To Build an Eco-Friendly Greenhouse Andros Zacharia

/

In brossura

22.39 €

Disruptive Behavior Disorders Frank M. Gresham

/

In brossura

39.99 €

Boomeritis Ken Wilber

/

In brossura

23.19 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?