Cărți de Kaisa Sere

Dependability and Computer Engineering

Editat de Luigia Petre et al.

28 iun 2011

Preț: 1106^.95 lei 1437^.60 lei

43-57 zile

-23%

Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Lecture Notes in Computer Science, nr. 2335

Editat de Michael Butler et al.

2 mai 2002

Preț: 352^.02 lei 440^.02 lei

43-57 zile

-20%

Program Development by Refinement: Case Studies Using the B Method

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Emil Sekerinski et al.

23 oct 1998

Preț: 1275^.75 lei 1594^.69 lei

43-57 zile

-20%