Ergebnisse filtern
-
- 8
- 4
-
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
-
- 8
- 4
-
- 11
- 1
-
- 12
-
- 12
-
- 12
-
Leucker Runtime Verification
8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89246-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Colombo / Leucker Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03768-0Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Colombo / Leucker Runtime Verification
18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, ProceedingsErscheinungsjahr 2018Verlag: Springer International PublishingISBN: 978-3-030-03769-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark80,24 € (inkl. MwSt.)
sofort verfügbar
-
Leucker / Morgan Theoretical Aspects of Computing - ICTAC 2009
6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03465-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bartocci / Falcone / Leucker Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-87348-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark58,84 € (inkl. MwSt.)
sofort verfügbar
-
Bartocci / Falcone / Leucker Formal Methods in Outer Space
Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday1. Auflage 2021Verlag: SpringerISBN: 978-3-030-87347-9Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chechik / Katoen / Leucker Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-27481-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Leucker / Rueda / Valencia Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25149-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chechik / Katoen / Leucker Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-27480-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Leucker / Rueda / Valencia Theoretical Aspects of Computing - ICTAC 2015
12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-25150-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Brim / Haverkort / Leucker Formal Methods: Applications and Technology
11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, ReviErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-70951-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Broy / Jonsson / Katoen Model-Based Testing of Reactive Systems
Advanced Lectures1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26278-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
