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

AvYamine Ait-Ameur,Shengchao Qin

Häftad, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Software Engineering

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

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

Häftad, Engelska, 2022

1 189 kr

Skickas inom 10-15 vardagar

Engineering of Complex Computer Systems

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

AvGuangdong Bai,Fuyuki Ishikawa m. fl.

Häftad, Engelska, 2024

949 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

AvFrederic Boniol,Virginie Wiels m. fl.

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar

Model and Data Engineering

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

AvYamine Ait Ameur,Ladjel Bellatreche m. fl.

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar

Model and Data Engineering

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

AvLadjel Bellatreche,Óscar Pastor m. fl.

Häftad, Engelska, 2016

719 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

AvYamine Ait Ameur,Klaus-Dieter Schewe

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar

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

Communications of NII Shonan Meetings

AvYamine Ait-Ameur,Shin Nakajima m. fl.

Inbunden, Engelska, 2020

1 389 kr

Skickas inom 10-15 vardagar

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

Communications of NII Shonan Meetings

AvYamine Ait-Ameur,Shin Nakajima m. fl.

Häftad, Engelska, 2021

1 389 kr

Skickas inom 10-15 vardagar