Alessandro Cimatti | Akateeminen Kirjakauppa

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

SOFTWARE ENGINEERING AND FORMAL METHODS - 15TH INTERNATIONAL CONFERENCE, SEFM 2017, TRENTO, ITALY, SEPTEMBER 4–8, 2017, PROCEEDI

Alessandro Cimatti; Marjan Sirjani
Springer International Publishing AG (2017)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING -- SAT 2012 - 15TH INTERNATIONAL CONFERENCE, TRENTO, ITALY, JUNE 17-20, 2012,

Alessandro Cimatti; Roberto Sebastiani
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS : 28TH INTERNATIONAL CONFERENCE, FMICS 2023, ANTWERP, BELGIUM, SEPTEMBER 20–22, 2

Alessandro Cimatti (ed.); Laura Titolo (ed.)
Springer (2023)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

57,30 €

FORMAL METHODS FOR HARDWARE VERIFICATION : 6TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION,

Marco Bernardo (ed.); Alessandro Cimatti (ed.)
Springer (2006)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedi

Alessandro Cimatti, Marjan Sirjani

49,60 €

Springer International Publishing AG
Sivumäärä: 410 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2017
Julkaisuvuosi: 2017, 15.08.2017 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.
The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; and design principles.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä

Myymäläsaatavuus