Ergebnisse filtern
-
- 4
- 3
-
- 2
- 1
- 2
- 2
-
- 3
- 2
- 1
- 1
-
- 4
- 3
-
- 7
-
- 7
-
- 7
-
Ait-Ameur / Qin Formal Methods and Software Engineering
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-32409-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Qin / Ait-Ameur Formal Methods and Software Engineering
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-32408-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ait-Ameur / Méry / Nakajima Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings1. Auflage 2021Verlag: Springer Nature SingaporeISBN: 978-981-15-5056-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ait-Ameur / Nakajima / Méry Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings1. Auflage 2020Verlag: Springer SingaporeISBN: 978-981-15-5054-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Ait-Ameur / Méry / Nakajima Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Communications of NII Shonan Meetings1. Auflage 2021Verlag: Springer Nature SingaporeISBN: 978-981-15-5053-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bai / Ishikawa / Ait-Ameur Engineering of Complex Computer Systems
28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19–21, 2024, ProceedingsErscheinungsjahr 2024Verlag: Springer International PublishingISBN: 978-3-031-66456-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark117,69 € (inkl. MwSt.)
sofort verfügbar
-
Bai / Ishikawa / Ait-Ameur Engineering of Complex Computer Systems
28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings2025Verlag: Springer Nature SwitzerlandISBN: 978-3-031-66455-7Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
