Hoppa till sidans huvudinnehåll

Yamine Ait-Ameur - Böcker

Visar alla böcker från författaren Yamine Ait-Ameur.
9 produkter

Formal Methods and Software Engineering

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

Av Yamine Ait-Ameur, Shengchao Qin

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Software Engineering

16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings

Av Yamine Aït-Ameur, Florin Crăciun m. fl

Häftad, Engelska, 2022

1 209 kr

Skickas inom 10-15 vardagar

Engineering of Complex Computer Systems

28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, Proceedings

Av Guangdong Bai, Fuyuki Ishikawa m. fl

Häftad, Engelska, 2024

1 079 kr

Skickas inom 10-15 vardagar

ABZ 2014: The Landing Gear Case Study

Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

Av Frederic Boniol, Virginie Wiels m. fl

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Model and Data Engineering

4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

Av Yamine Ait Ameur, Ladjel Bellatreche m. fl

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Model and Data Engineering

6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings

Av Ladjel Bellatreche, Óscar Pastor m. fl

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Abstract State Machines, Alloy, B, TLA, VDM, and Z

4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Av Yamine Ait Ameur, Klaus-Dieter Schewe

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Communications of NII Shonan Meetings

Av Yamine Ait-Ameur, Shin Nakajima m. fl

Inbunden, Engelska, 2020

1 399 kr

Skickas inom 10-15 vardagar

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Communications of NII Shonan Meetings

Av Yamine Ait-Ameur, Shin Nakajima m. fl

Häftad, Engelska, 2021

1 399 kr

Skickas inom 10-15 vardagar