Ergebnisse filtern
-
- 9
- 7
-
- 6
- 1
- 1
- 2
- 2
- 2
- 2
-
- 6
- 6
- 4
-
- 3
- 13
-
- 16
-
- 16
-
- 16
-
Stoelinga / Pinger Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, ProceedingsErscheinungsjahr 2012Verlag: SpringerISBN: 978-3-642-32469-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark48,14 € (inkl. MwSt.)
sofort verfügbar
-
Remke / Stoelinga Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45489-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark50,28 € (inkl. MwSt.)
sofort verfügbar
-
Stoelinga / Guerra Fundamental Approaches to Software Engineering
24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-71499-4Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stoelinga / André Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-29661-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
André / Stoelinga Formal Modeling and Analysis of Timed Systems
17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, ProceedingsErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-29662-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Pinger / Stoelinga Formal Methods for Industrial Critical Systems
17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-32468-0Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Remke / Stoelinga Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced LecturesErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45488-6Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / van den Bos / Stoelinga A Journey from Process Algebra via Timed Automata to Model Learning
Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday1. Auflage 2022Verlag: Springer Nature SwitzerlandISBN: 978-3-031-15628-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Joshi / Siegle / Stoelinga Quantitative Evaluation of Systems
10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40196-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Joshi / D'Argenio / Siegle Quantitative Evaluation of Systems
10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-40195-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75775-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark70,61 € (inkl. MwSt.)
sofort verfügbar
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IErscheinungsjahr 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-75782-2Medium: Buch79,17 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75778-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIErscheinungsjahr 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-75774-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIErscheinungsjahr 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-75777-8Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape
Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-75783-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark79,17 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
