Ergebnisse filtern
-
- 6
- 5
-
- 2
- 2
- 2
- 2
- 2
- 1
-
- 2
- 6
- 3
-
- 2
- 6
- 3
-
- 11
-
- 11
-
- 11
-
Cofer / Fantechi Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-03240-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Fantechi / Pelliccione Software Engineering for Resilient Systems
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23129-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark42,79 € (inkl. MwSt.)
sofort verfügbar
-
Pelliccione / Fantechi Software Engineering for Resilient Systems
7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-23128-0Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fantechi / Cofer Formal Methods for Industrial Critical Systems
13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers2009Verlag: SpringerISBN: 978-3-642-03239-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fantechi / Romanovsky / Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68498-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ciancarini / Gorrieri / Fantechi Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy1999Verlag: Springer USISBN: 978-0-7923-8429-8Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ciancarini / Gorrieri / Fantechi Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, ItalySoftcover Nachdruck of the original 1. Auflage 1999Verlag: Springer USISBN: 978-1-4757-5266-3Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ciancarini / Fantechi / Gorrieri Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, ItalyErscheinungsjahr 2013Verlag: Springer USISBN: 978-0-387-35562-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark213,99 € (inkl. MwSt.)
sofort verfügbar
-
Fantechi / Lecomte / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-68499-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
ter Beek / Fantechi / Semini From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th BirthdayErscheinungsjahr 2019Verlag: Springer International PublishingISBN: 978-3-030-30985-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
ter Beek / Semini / Fantechi From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-30984-8Medium: 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
