Mazzara, Manuel; Voronkov, Andrei
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Brlek, Srečko; Reutenauer, Christophe
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2016
Pehmeäkantinen kirja
Wasilewska, Anita
Springer International Publishing AG
2018
Kovakantinen kirja
Kneusel, Ronald T.
Random House LLC US
2025
Pehmeäkantinen kirja
Bozzano, Marco; Papadopoulos, Yannis
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Kasirajan, Venkateswaran
Springer Nature Switzerland AG
2022
Pehmeäkantinen kirja
Lipták, Zsuzsanna; Smyth, William F.
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Mudgal, Apurva; Subramanian, C. R.
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja
Dean, Alexander G
Arm Education Media
2021
Pehmeäkantinen kirja
Alazab, Mamoun; Gupta, Maanak
Taylor & Francis Ltd
2024
Pehmeäkantinen kirja
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Pr Butler, Michael; Raschke, Alexander; Hoang, Thai Son; Reichl, Klaus
Springer International Publishing AG
2018
Pehmeäkantinen kirja
Potapov, Igor; Reynier, Pierre-Alain
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Budaghyan, Lilya; Rodríguez-Henríquez, Francisco
Springer Nature Switzerland AG
2018
Pehmeäkantinen kirja
Baïou, Mourad; Gendron, Bernard; Günlük, Oktay; Mahjoub, A. Ridha
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Gribaudo, Marco; Jansen, David N.; Remke, Anne
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Schmidt, Eric
IngramSpark
2023
Pehmeäkantinen kirja
Phillips, Andrew; Yin, Peng
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Dutra, Ines de Castro; Camacho, Rui; Barbosa, Jorge G.; Marques, Osni
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Abate, Alessandro; Boldo, Sylvie
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Steffen, Bernhard; Rüthing, Oliver; Huth, Michael
Springer International Publishing AG
2018
Kovakantinen kirja