Cărți de Kaisa Sere

Dependability and Computer Engineering

Editat de Luigia Petre et al.

28 iun 2011

Preț: 1084^.50 lei 1408^.45 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ț: 344^.94 lei 431^.17 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ț: 1249^.86 lei 1562^.32 lei

43-57 zile

-20%