KIRJAUDU

ostoskori

avaa valikko

Antonio Cerone | Akateeminen Kirjakauppa

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

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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS FOR SOFTWARE ENGINEERING

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

115,30 €

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

Antonio Cerone (ed.)
Springer (2023)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

54,40 €

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)
Saatavuus: Tilaustuote
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 (2023)
Saatavuus: Tilaustuote
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 (2022)
Saatavuus: Tilaustuote
Kovakantinen kirja

73,70 €

Hae lisää...

Theoretical Aspects of Computing -- ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 -- Septembe

Antonio Cerone, Pekka Pihlajasaari

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 267 sivua
Asu: Pehmeäkantinen kirja
Painos: 2011
Julkaisuvuosi: 2011, 12.08.2011 (lisätietoa)
Kieli: Englanti

This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011.
The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus