Cărți de Emil Sekerinski

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ț: 1226^.07 lei 1532^.59 lei

6-8 săpt.

-20%

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Lecture Notes in Computer Science, nr. 4085

Editat de Jayadev Misra et al.

10 aug 2006

Preț: 636^.70 lei 795^.87 lei

6-8 săpt.

-20%

From Action Systems to Distributed Systems: The Refinement Approach

Editat de Luigia Petre et al.

30 iun 2020

Preț: 375^.81 lei 469^.76 lei

6-8 săpt.

-20%

Formal Methods. FM 2019 International Workshops

Lecture Notes in Computer Science, nr. 12232

Editat de Emil Sekerinski et al.

13 aug 2020

Preț: 334^.63 lei 418^.29 lei

6-8 săpt.

-20%

Integrated Formal Methods

Lecture Notes in Computer Science, nr. 8739

Editat de Elvira Albert et al.

15 sep 2014

Preț: 327^.48 lei 409^.36 lei

6-8 săpt.

-20%