Ergebnisse filtern
-
- 13
- 9
-
- 5
- 1
- 12
- 4
-
- 18
- 4
-
- 22
-
- 22
-
- 22
-
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
-
Wijs / Huisman Concise Guide to Software Verification
From Model Checking to Annotation Checking2023Verlag: Springer International PublishingISBN: 978-3-031-30169-8Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Beyer 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: Springer Nature SwitzerlandISBN: 978-3-319-89959-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Howar / Huisman Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9¿10, 2024, Proceedings2025Verlag: Springer International PublishingISBN: 978-3-031-72043-7Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ravara / Huisman 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 Nature SwitzerlandISBN: 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, ProceedingsErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-72044-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark139,09 € (inkl. MwSt.)
sofort verfügbar
-
Á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
-
Huisman / Beyer 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: Springer Nature SwitzerlandISBN: 978-3-319-89962-6Medium: Buch53,49 € (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-54494-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
Wijs / Huisman Concise Guide to Software Verification
From Model Checking to Annotation Checking2023Verlag: Springer International PublishingISBN: 978-3-031-30166-7Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Ábrahám Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-33692-3Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rubin / Huisman 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
-
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 / Groote 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-15007-4Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Huisman / Zhan / Pasareanu Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings1. Auflage 2021Verlag: Springer International PublishingISBN: 978-3-030-90869-0Medium: Buch117,69 € (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: Springer International PublishingISBN: 978-3-030-90870-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark106,99 € (inkl. MwSt.)
sofort verfügbar
-
Beyer / Steffen / Huisman 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: Springer Nature SwitzerlandISBN: 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 Papers2006Verlag: SpringerISBN: 978-3-540-33691-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
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
-
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 Papers2005Verlag: SpringerISBN: 978-3-540-30569-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Barthe / Burdy / Muntean Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers2005Verlag: Springer Berlin HeidelbergISBN: 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
