Books by Emil Sekerinski

3 titles available, newest first by original publication date.

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

Emil Sekerinski

$67.99

Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings

Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings

Emil Sekerinski

$56.99

Program Development by Refinement: Case Studies Using the B Method

Program Development by Refinement: Case Studies Using the B Method

Emil Sekerinski

$251.99