Emil Sekerinski – författare
Visar alla böcker från författaren Emil Sekerinski. Handla med fri frakt och snabb leverans.
16 produkter
From Action Systems to Distributed Systems
The Refinement Approach
Av Luigia Petre, Emil Sekerinski
Häftad, 2020
757 kr
Lägg i varukorg
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently, …
From Action Systems to Distributed Systems
The Refinement Approach
Av Emil Sekerinski, Luigia Petre
E-bok, 2016
892 kr
Lägg i varukorg
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society''s infrastructures are behaving according to their specifications. More …
Program Development by Refinement
Case Studies Using the B Method
Av Kaisa Sere, Emil Sekerinski
E-bok, 2012
3013 kr
Lägg i varukorg
The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for …
From Action Systems to Distributed Systems
The Refinement Approach
Av Luigia Petre, Emil Sekerinski
Inbunden, 2016
2788 kr
Lägg i varukorg
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society’s infrastructures are behaving according to their specifications. More recently, …
From Action Systems to Distributed Systems
The Refinement Approach
Av Emil Sekerinski, Luigia Petre
E-bok, 2016
892 kr
Lägg i varukorg
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society''s infrastructures are behaving according to their specifications. More …
Program Development by Refinement
Case Studies Using the B Method
Av Kaisa Sere, Emil Sekerinski m. fl.
Häftad, 1998
2247 kr
Lägg i varukorg
The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team who designed them, with all the consequences this has. How can we cope with such complexity in a satisfactory way? An approach, advocated for …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Av Emil Sekerinski, Nelma Moreira m. fl.
Häftad, 2020
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Av David Delmas, Pedro Monteiro m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Av Emil Sekerinski, Nelma Moreira m. fl.
Häftad, 2020
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Av David Delmas, Pedro Monteiro m. fl.
E-bok, 2020
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods Teaching
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Av Emil Sekerinski, Leila Ribeiro
Häftad, 2024
420 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one …
Formal Methods Teaching
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
Av Leila Ribeiro, Emil Sekerinski
E-bok, 2024
521 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one …
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Av Elvira Albert, Emil Sekerinski
Häftad, 2014
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The …
Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Av Emil Sekerinski, Elvira Albert
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The …
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Av Jayadev Misra, Tobias Nipkow m. fl.
Häftad, 2006
1127 kr
Lägg i varukorg
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized …
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Av Emil Sekerinski, Tobias Nipkow m. fl.
E-bok, 2006
1502 kr
Lägg i varukorg
