KIRJAUDU

ostoskori

avaa valikko

Antonio Cerone | Akateeminen Kirjakauppa

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

FORMAL METHODS FOR SOFTWARE ENGINEERING

Roggenbach Markus Roggenbach; Cerone Antonio Cerone; Schlingloff Bernd-Holger Schlingloff
Springer Nature B.V. (2022)
Pehmeäkantinen kirja

120,80 €

THEORETICAL ASPECTS OF COMPUTING -- ICTAC 2011 - 8TH INTERNATIONAL COLLOQUIUM, JOHANNESBURG, SOUTH AFRICA, AUGUST 31 -- SEPTEMBE

Antonio Cerone; Pekka Pihlajasaari
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

51,40 €

INFORMATION TECHNOLOGY AND OPEN SOURCE: APPLICATIONS FOR EDUCATION, INNOVATION, AND SUSTAINABILITY - SEFM 2012 SATELLITE EVENTS,

Antonio Cerone; Donatella Persico; Sara Fernandes; Alexeis Garcia-Perez; Panagiotis Katsaros; Siraj Ahmed Shaikh; Stamelos
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

51,40 €

SOFTWARE ENGINEERING AND FORMAL METHODS - SEFM 2017 COLLOCATED WORKSHOPS: DATAMOD, FAACS, MSE, COSIM-CPS, AND FOCLASA, TRENTO, I

Antonio Cerone; Marco Roveri
Springer International Publishing AG (2018)
Pehmeäkantinen kirja

75,40 €

THEORETICAL ASPECTS OF COMPUTING – ICTAC 2021 - 18TH INTERNATIONAL COLLOQUIUM, VIRTUAL EVENT, NUR-SULTAN, KAZAKHSTAN, SEPTEMBER

Antonio Cerone; Peter Csaba Ölveczky
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja

76,40 €

FORMAL METHODS – FUN FOR EVERYBODY - FIRST INTERNATIONAL WORKSHOP, FMFUN 2019, BERGEN, NORWAY, DECEMBER 2–3, 2019, REVISED SELEC

Antonio Cerone; Markus Roggenbach
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja

51,40 €

SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2021 COLLOCATED WORKSHOPS - CIFMA, COSIM-CPS, OPENCERT, ASYDE, VIRTUAL EVENT, DECE

Antonio Cerone; Marco Autili; Alessio Bucaioni; Cláudio Gomes; Pierluigi Graziani; Maurizio Palmieri; Marco Temperini; Ve
Springer International Publishing AG (2022)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS FOR AN INFORMAL WORLD - ICTAC 2021 SUMMER SCHOOL, VIRTUAL EVENT, ASTANA, KAZAKHSTAN, SEPTEMBER 1–7, 2021, TUTORIA

Antonio Cerone
Springer International Publishing AG (2023)
Pehmeäkantinen kirja

51,40 €

THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006 - THIRD INTERNATIONAL COLLOQUIUM, TUNIS, TUNISIA, NOVEMBER 20-24, 2006 PROCEEDINGS

Kamel Barkaoui; Ana Cavalcanti; Antonio Cerone
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS FOR SOFTWARE ENGINEERING - LANGUAGES, METHODS, APPLICATION DOMAINS

Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh
Springer Nature Switzerland AG (2022)
Kovakantinen kirja

76,40 €

SOFTWARE ENGINEERING AND FORMAL METHODS - 18TH INTERNATIONAL CONFERENCE, SEFM 2020, AMSTERDAM, THE NETHERLANDS, SEPTEMBER 14–18,

Frank de Boer; Antonio Cerone
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

56,40 €

FORMAL METHODS FOR SOFTWARE ENGINEERING - LANGUAGES, METHODS, APPLICATION DOMAINS

Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh
Springer Nature Switzerland AG (2023)
Pehmeäkantinen kirja

56,40 €

FROM DATA TO MODELS AND BACK : 11TH INTERNATIONAL SYMPOSIUM, DATAMOD 2023, EINDHOVEN, THE NETHERLANDS, NOVEMBER 6–7, 2023, REVIS

Giovanna Broccia (ed.); Antonio Cerone (ed.)
Springer (2025)
Pehmeäkantinen kirja

111,40 €

Hae lisää...

Formal Methods for Software Engineering

Roggenbach Markus Roggenbach, Cerone Antonio Cerone, Schlingloff Bernd-Holger Schlingloff

120,80 €

Springer Nature B.V.
Sivumäärä: 554 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2022, 23.06.2022 (lisätietoa)
Kieli: Englanti

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.

Myymäläsaatavuus