home libri books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

meyer bertrand (curatore); nordio martin (curatore) - empirical software engineering and verification

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
54,98 €
NICEPRICE
52,23 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 01/2012
Edizione: 2012





Trama

Software engineering, is widely recognized as one of today's most
exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students.

This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010.





Sommario

Search Based Software Engineering: Techniques, Taxonomy, Tutorial.- Replication of Software Engineering Experiments.- A Formal Reference for SCOOP.- On the Integration of Software Testing and Formal Analysis.- Is Branch Coverage a Good Measure of Testing Effectiveness.










Altre Informazioni

ISBN:

9783642252303

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm Ø 346 gr
Formato: Brossura
Illustration Notes:VII, 213 p.
Pagine Arabe: 213
Pagine Romane: vii


Dicono di noi