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ț: 326^.52 lei 408^.15 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ț: 257^.41 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ț: 319^.73 lei 399^.65 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ț: 627^.33 lei 784^.17 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ț: 1208^.19 lei 1510^.24 lei

6-8 săpt.

-20%