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ț: 334^.79 lei 418^.49 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ț: 258^.34 lei 373^.65 lei

6-8 săpt.

-31%

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ț: 328^.04 lei 410^.05 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ț: 643^.32 lei 804^.15 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ț: 1239^.08 lei 1548^.86 lei

6-8 săpt.

-20%