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ț: 338^.84 lei 423^.55 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ț: 332^.01 lei 415^.01 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ț: 651^.15 lei 813^.93 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ț: 1254^.20 lei 1567^.76 lei

6-8 săpt.

-20%