Alessandro Fantechi | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS - 7TH INTERNATIONAL WORKSHOP, SERENE 2015, PARIS, FRANCE, SEPTEMBER 7-8, 2015. PROCEE

Alessandro Fantechi; Patrizio Pelliccione
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

40,00 €

RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION - SECOND INTERNATIONA

Alessandro Fantechi; Thierry Lecomte; Alexander Romanovsky
Springer International Publishing AG (2017)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS - IFIP TC6 / WG6.1 THIRD INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR

Paolo Ciancarini; Alessandro Fantechi; Roberto Gorrieri
Springer (1999)
Kovakantinen kirja

172,80 €

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS - 13TH INTERNATIONAL WORKSHOP, FMICS 2008, L'AQUILA, ITALY, SEPTEMBER 15-16, 2008

Darren Cofer; Alessandro Fantechi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS - IFIP TC6 / WG6.1 THIRD INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR

Paolo Ciancarini; Alessandro Fantechi; Roberto Gorrieri
Springer-Verlag New York Inc. (2013)
Pehmeäkantinen kirja

172,80 €

FROM SOFTWARE ENGINEERING TO FORMAL METHODS AND TOOLS, AND BACK - ESSAYS DEDICATED TO STEFANIA GNESI ON THE OCCASION OF HER 65TH

Maurice H. ter Beek; Alessandro Fantechi; Laura Semini
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

49,60 €

Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Procee

Alessandro Fantechi, Patrizio Pelliccione

40,00 €

Springer International Publishing AG
Sivumäärä: 145 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 19.08.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.
The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus