KIRJAUDU

ostoskori

avaa valikko

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

116,30 €

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 €

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

Markus Roggenbach
Springer Nature Switzerland AG (2021)
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)
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; Neil Harman; Markus Roggenbach; Jan Rutten
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
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)
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)
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)
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)
Pehmeäkantinen kirja

65,00 €

Formal Methods for Software Engineering

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

116,30 €

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

Helsinki

Tapiola

Turku

Tampere

Näytä kaikki tuotetiedot

ISBN:

9783030388010

Aihealue:

Ulkomaiset kirjat

Sisäänkirjautuminen

Kirjaudu sisään
Rekisteröityminen

Oma tili

Omat tiedot
Omat tilaukset
Omat laskut

Lisätietoja

Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste