home libri books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

ter beek maurice h. (curatore); fantechi alessandro (curatore); semini laura (curatore) - from software engineering to formal methods and tools, and back

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

; ;




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: 09/2019
Edizione: 1st ed. 2019





Trama

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,

The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.





Sommario

Software Engineering.- Formal Methods and Tools.- Requirements Engineering.- Natural Language Processing.- Software Product Lines.- Formal Verification.- Applications.










Altre Informazioni

ISBN:

9783030309848

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm Ø 890 gr
Formato: Brossura
Illustration Notes:XIII, 574 p. 692 illus., 91 illus. in color.
Pagine Arabe: 574
Pagine Romane: xiii


Dicono di noi