Ergebnisse filtern
-
- 13
- 7
-
- 14
- 6
-
- 16
- 4
-
- 20
-
- 20
-
- 20
-
Beyer / Huisman Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-319-89959-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Wijs Concise Guide to Software Verification
From Model Checking to Annotation Checking2023Verlag: SpringerISBN: 978-3-031-30169-8Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Ravara Formal Techniques for Distributed Objects, Components, and Systems
43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings1. Auflage 2023Verlag: Springer International PublishingISBN: 978-3-031-35355-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar
-
Huisman / Wijs Concise Guide to Software Verification
From Model Checking to Annotation Checking2023Verlag: SpringerISBN: 978-3-031-30166-7Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Rubin Fundamental Approaches to Software Engineering
20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-662-54493-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ábrahám / Huisman Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33692-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Wijs Concise Guide to Software Verification
From Model Checking to Annotation CheckingErscheinungsjahr 2023Verlag: Springer International PublishingISBN: 978-3-031-30167-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark64,19 € (inkl. MwSt.)
sofort verfügbar
-
Huisman / Ravara Formal Techniques for Distributed Objects, Components, and Systems
43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-35354-3Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Howar Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings2025Verlag: SpringerISBN: 978-3-031-72043-7Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ábrahám / Huisman Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33693-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark85,59 € (inkl. MwSt.)
sofort verfügbar
-
Beyer / Huisman Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-319-89962-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Howar Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, ProceedingsErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-72044-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar
-
Huisman / Rubin Fundamental Approaches to Software Engineering
20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-662-54494-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Groote / Huisman Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-15007-4Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Groote / Huisman Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-15008-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark74,89 € (inkl. MwSt.)
sofort verfügbar
-
Huisman / Pasareanu / Pasareanu Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-90870-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark106,99 € (inkl. MwSt.)
sofort verfügbar
-
Beyer / Huisman / Kordon Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17501-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Barthe / Gregoire / Huisman Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33689-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Pasareanu / Pasareanu Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-90869-0Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Barthe / Burdy / Huisman Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-24287-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
