Cărți de Yamine Ait Ameur

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ț: 328^.63 lei 410^.78 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ț: 319^.89 lei 399^.86 lei

6-8 săpt.

-20%

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8477

Editat de Yamine Ait Ameur et al.

21 mai 2014

Preț: 328^.45 lei 410^.56 lei

6-8 săpt.

-20%