KIRJAUDU

ostoskori

avaa valikko

Antonio Cerone | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 12 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

116,20 €

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

49,60 €

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

49,60 €

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

72,80 €

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

73,70 €

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

Antonio Cerone (ed.); Markus Roggenbach (ed.)
Springer (2021)
Pehmeäkantinen kirja

49,60 €

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

Antonio Cerone (ed.); Marco Autili (ed.); Alessio Bucaioni (ed.); Cláudio Gomes (ed.); Pierluigi Graziani (ed.); Palmieri
Springer (2022)
Pehmeäkantinen kirja

49,60 €

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

Antonio Cerone (ed.)
Springer (2023)
Pehmeäkantinen kirja

49,60 €

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

49,60 €

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

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

73,70 €

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

54,40 €

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

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

54,40 €

Hae lisää...

Formal Methods for Software Engineering

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

116,20 €

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