SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Alexander Raschke | Akateeminen Kirjakauppa

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



Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Alexander Raschke; Dominique Méry; Frank Houdek
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Alexander Raschke; Dominique Méry
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja
59,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday
Alexander Raschke; Elvinia Riccobene; Klaus-Dieter Schewe
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Modeling Companion for Software Practitioners
Egon Börger; Alexander Raschke
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2018)
Pehmeäkantinen kirja
64,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Pr
Michael Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl
Springer International Publishing AG (2018)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
49,60 €
Springer Nature Switzerland AG
Sivumäärä: 428 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2020
Julkaisuvuosi: 2020, 15.05.2020 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues
This book constitutes the refereed proceedings of the 7th International Conference on Rigorous State-Based Methods, ABZ 2020, which was due to be held in Ulm, Germany, in May 2020. The conference was cancelled due to the COVID-19 pandemic.



The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it. The papers are organized in the following sections: keynotes and invited papers; regular research articles; short articles; articles contributing to the case study; short articles of the PhD-symposium (work in progress).

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedingszoom
Näytä kaikki tuotetiedot
ISBN:
9783030480769
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste