|
|

avaa valikko

Yamine Ait-Ameur | Akateeminen Kirjakauppa

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



Ait Ameur, Yamine; Schewe, Klaus-Dieter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. P
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Ait-Ameur, Yamine; Qin, Shengchao
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, Chi
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Ait-Ameur, Yamine; Nakajima, Shin; Méry, Dominique
Springer
2020
Kovakantinen kirja
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Ait-Ameur, Yamine; Nakajima, Shin; Méry, Dominique
Springer
2021
Pehmeäkantinen kirja
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Aït-Ameur, Yamine; Crăciun, Florin
Springer
2022
Pehmeäkantinen kirja
Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
86,00 €
Ait Ameur, Yamine; Bellatreche, Ladjel; Papadopoulos, George A.
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Model and Data Engineering - 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Boniol, Frederic; Wiels, Virginie; Ait Ameur, Yamine; Schewe, Klaus-Dieter
Springer
2014
Pehmeäkantinen kirja
ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bellatreche, Ladjel; Pastor, Óscar; Almendros Jiménez, Jesús M.; Aït-Ameur, Yamine
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Model and Data Engineering - 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bai, Guangdong; Ishikawa, Fuyuki; Ait-Ameur, Yamine; Papadopoulos, George A.
Springer
2024
Pehmeäkantinen kirja
Engineering of Complex Computer Systems : 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €