Markus Roggenbach | Akateeminen Kirjakauppa

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

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

116,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 €

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES - 25TH INTERNATIONAL WORKSHOP, WADT 2020, VIRTUAL EVENT, APRIL 29, 2020, REVIS

Markus Roggenbach
Springer Nature Switzerland AG (2021)
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 €

ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE : FIRST INTERNATIONAL CONFERENCE, CALCO 2005, SWANSEA, UK, SEPTEMBER 3-6, 2005, PROCEE

José Luis Fiadeiro (ed.); Neil Harman (ed.); Markus Roggenbach (ed.); Jan Rutten (ed.)
Springer (2005)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES - 23RD IFIP WG 1.3 INTERNATIONAL WORKSHOP, WADT 2016, GREGYNOG, UK, SEPTEMBER

Phillip James; Markus Roggenbach
Springer International Publishing AG (2017)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

ON THE CONSTRUCTION OF ENGINEERING HANDBOOKS : WITH AN ILLUSTRATION FROM THE RAILWAY SAFETY DOMAIN

Stefan Gruner; Apurva Kumar; Tom Maibaum; Markus Roggenbach
Springer (2020)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

49,60 €

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 €

APPLICABLE FORMAL METHODS FOR SAFE INDUSTRIAL PRODUCTS : ESSAYS DEDICATED TO JAN PELESKA ON THE OCCASION OF HIS 65TH BIRTHDAY

Anne E. Haxthausen (ed.); Wen-ling Huang (ed.); Markus Roggenbach (ed.)
Springer (2023)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

65,00 €

Formal Methods for Software Engineering

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

116,40 €

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