Cărți de Michael Leuschel

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6286

Editat de Frank S. de Boer et al.

4 ian 2011

Preț: 332^.91 lei 416^.14 lei

3-5 săpt.

-20%

Rigorous State-Based Methods: 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings

Lecture Notes in Computer Science, nr. 14759

Editat de Silvia Bonfanti et al.

21 iun 2024

Preț: 445^.43 lei 524^.03 lei

6-8 săpt.

-15%

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7316

Editat de John Derrick et al.

12 iun 2012

Preț: 336^.19 lei 420^.23 lei

6-8 săpt.

-20%

Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5423

Editat de Michael Leuschel et al.

2 feb 2009

Preț: 335^.04 lei 418^.80 lei

6-8 săpt.

-20%