Yamine Ait-Ameur - Böcker

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

Formal Methods and Software Engineering

Av Yamine Ait-Ameur, Shengchao Qin

Häftad, Engelska, 2019

739 kr

Skickas inom 7-10 vardagar
Yamine Aït-Ameur, Florin Crăciun, Yamine Ait-Ameur, Florin Craciun, Florin Crăciun, Florin Cr¿ciun - Theoretical Aspects of Software Engineering, Häftad
Del 13299 - Lecture Notes in Computer Science

Theoretical Aspects of Software Engineering

Av Yamine Aït-Ameur, Florin Crăciun, Yamine Ait-Ameur, Florin Craciun, Florin Crăciun, Florin Cr¿ciun

Häftad, Engelska, 2022

1 249 kr

Skickas inom 7-10 vardagar
Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos - Engineering of Complex Computer Systems, Häftad

Engineering of Complex Computer Systems

Av Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos

Häftad, Engelska, 2024

1 129 kr

Skickas inom 7-10 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

Av Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar
Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos - Model and Data Engineering, Häftad

Model and Data Engineering

Av Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 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

Av Yamine Ait Ameur, Klaus-Dieter Schewe

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 vardagar