Cărți de Emil Sekerinski

Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Lecture Notes in Computer Science, nr. 12232

Editat de Emil Sekerinski et al.

13 aug 2020

Preț: 344^.60 lei 430^.75 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ț: 259^.81 lei 357^.49 lei

6-8 săpt.

-27%

Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8739

Editat de Elvira Albert et al.

15 sep 2014

Preț: 337^.66 lei 422^.07 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ț: 662^.30 lei 827^.87 lei

6-8 săpt.

-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

6-8 săpt.

-20%