Filtre: Calculatoare şi IT

Cărți de Chris George

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Lecture Notes in Computer Science, nr. 4710

Editat de Chris George et al.

28 aug 2007

Preț: 318^.80 lei 398^.51 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Lecture Notes in Computer Science, nr. 2495

Editat de Chris George et al.

9 oct 2002

Preț: 638^.04 lei 797^.56 lei

6-8 săpt.

-20%

Specification Case Studies in RAISE

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Hung Dang Van et al.

8 feb 2002

Preț: 627^.09 lei 783^.87 lei

6-8 săpt.

-20%