Cărți de Yamine Ait Ameur

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

Editat de Yamine Ait Ameur et al.

21 mai 2014

Preț: 323^.83 lei 404^.79 lei

6-8 săpt.

-20%

Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca, Cyprus, September 24-26, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8748

Editat de Yamine Ait Ameur et al.

23 sep 2014

Preț: 322^.61 lei 403^.26 lei

6-8 săpt.

-20%

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

Communications in Computer and Information Science, nr. 433

Editat de Frederic Boniol et al.

26 mai 2014

Preț: 314^.04 lei 392^.55 lei

6-8 săpt.

-20%