Ergebnisse filtern
-
- 8
- 7
-
- 2
- 5
- 3
- 2
- 1
- 1
- 1
-
- 2
- 1
- 7
- 4
- 1
-
- 2
- 9
- 4
-
- 15
-
- 15
-
- 15
-
Sekerinski / Sere Program Development by Refinement
Case Studies Using the B Method1999Verlag: SpringerISBN: 978-1-85233-053-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sekerinski / Sere Program Development by Refinement
Case Studies Using the B MethodErscheinungsjahr 2012Verlag: SpringerISBN: 978-1-4471-0585-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar
-
Sekerinski / Ribeiro Formal Methods Teaching
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, ProceedingsErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-71379-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark40,65 € (inkl. MwSt.)
sofort verfügbar
-
Petre / Sekerinski From Action Systems to Distributed Systems
The Refinement Approach1. Auflage 2020Verlag: Chapman and Hall/CRCISBN: 978-0-367-57485-7Medium: Buch67,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sekerinski / Ribeiro Formal Methods Teaching
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings2024Verlag: SpringerISBN: 978-3-031-71378-1Medium: Buch40,65 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Albert / Sekerinski Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10180-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Albert / Sekerinski Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, ProceedingsErscheinungsjahr 2014Verlag: Springer International PublishingISBN: 978-3-319-10181-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Petre / Sekerinski From Action Systems to Distributed Systems
The Refinement ApproachErscheinungsjahr 2016Verlag: CRC PressISBN: 978-1-4987-0159-4Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)63,49 € (inkl. MwSt.)
sofort verfügbar
-
Petre / Sekerinski From Action Systems to Distributed Systems
The Refinement Approach1. Auflage 2016Verlag: Taylor & Francis eBooksISBN: 978-1-040-18935-1Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)63,49 € (inkl. MwSt.)
sofort verfügbar
-
Petre / Sekerinski From Action Systems to Distributed Systems
1. Auflage 2016Verlag: Chapman and Hall/CRCISBN: 978-1-4987-0158-7Medium: Buch174,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen
-
Misra / Nipkow / Sekerinski FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37215-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sekerinski / Moreira / Oliveira Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-54994-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Sekerinski / Astarte / Moreira Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-54993-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sekerinski / Astarte / Moreira Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-54996-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sekerinski / Moreira / Oliveira Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-54997-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
