Hoppa till sidans huvudinnehåll

Yamine Ait-Ameur – författare

Visar alla böcker från författaren .
9 produkter
Yamine Ait-Ameur, Shengchao Qin - Formal Methods and Software Engineering, Häftad
Del 11852 - Lecture Notes in Computer Science

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

729 kr

Skickas inom 10-15 vardagar

Yamine Aït-Ameur, Florin Crăciun - Theoretical Aspects of Software Engineering, Häftad
Del 13299 - Lecture Notes in Computer Science

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

Häftad, Engelska, 2022

1 229 kr

Skickas inom 10-15 vardagar

Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos - Engineering of Complex Computer Systems, Häftad
Del 14784 - Lecture Notes in Computer Science

Engineering of Complex Computer Systems

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

AvGuangdong Bai,Fuyuki Ishikawam. fl.

Häftad, Engelska, 2024

1 089 kr

Skickas inom 10-15 vardagar

Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe - ABZ 2014: The Landing Gear Case Study, Häftad
Del 433 - Communications in Computer and Information Science

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 Wielsm. fl.

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos - Model and Data Engineering, Häftad
Del 8748 - Lecture Notes in Computer Science

Model and Data Engineering

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

AvYamine Ait Ameur,Ladjel Bellatrechem. fl.

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur - Model and Data Engineering, Häftad
Del 9893 - Lecture Notes in Computer Science

Model and Data Engineering

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

AvLadjel Bellatreche,Óscar Pastorm. fl.

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Yamine Ait Ameur, Klaus-Dieter Schewe - Abstract State Machines, Alloy, B, TLA, VDM, and Z, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Yamine Ait-Ameur, Shin Nakajima, Dominique Méry - Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, Inbunden

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

Communications of NII Shonan Meetings

AvYamine Ait-Ameur,Shin Nakajimam. fl.

Inbunden, Engelska, 2020

1 409 kr

Skickas inom 10-15 vardagar

Yamine Ait-Ameur, Shin Nakajima, Dominique Méry - Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems, Häftad

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

Communications of NII Shonan Meetings

AvYamine Ait-Ameur,Shin Nakajimam. fl.

Häftad, Engelska, 2021

1 409 kr

Skickas inom 10-15 vardagar