Ergebnisse filtern
-
- 7
- 4
-
- 2
- 1
- 2
- 1
- 1
- 2
- 2
-
- 1
- 1
- 2
- 1
- 2
- 4
-
- 4
- 7
-
- 11
-
- 11
-
- 11
-
Shukla / Talpin Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction1. Auflage 2010Verlag: Springer USISBN: 978-1-4419-6400-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Dong / Talpin Dependable Software Engineering. Theories, Tools, and Applications
8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings1. Auflage 2022Verlag: Springer International PublishingISBN: 978-3-031-21213-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar -
Dong / Talpin Dependable Software Engineering. Theories, Tools, and Applications
8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings1. Auflage 2022Verlag: SpringerISBN: 978-3-031-21212-3Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Talpin / Shukla Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction2010Verlag: Springer USISBN: 978-1-4899-8737-2Medium: Buch129,98 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shukla / Talpin Synthesis of Embedded Software
Frameworks and Methodologies for Correctness by Construction2010. Auflage 2010Verlag: Springer UsISBN: 978-1-4419-6399-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nakajima / Yu / Talpin Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan MeetingsSoftcover Nachdruck of the original 1. Auflage 2017Verlag: Springer Nature SingaporeISBN: 978-981-13-5136-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nakajima / Talpin / Toyoshima Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan Meetings1. Auflage 2017Verlag: Springer SingaporeISBN: 978-981-10-4436-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Nakajima / Yu / Talpin Cyber-Physical System Design from an Architecture Analysis Viewpoint
Communications of NII Shonan Meetings1. Auflage 2017Verlag: Springer Nature SingaporeISBN: 978-981-10-4435-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gupta / Le Guernic / Shukla Formal Methods and Models for System Design
A System Level Perspective2004Verlag: Springer USISBN: 978-1-4020-8052-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark169,99 € (inkl. MwSt.)
sofort verfügbar -
Gupta / Le Guernic / Shukla Formal Methods and Models for System Design
A System Level Perspective2004. Auflage 2004Verlag: Springer UsISBN: 978-1-4020-8051-7Medium: Buch171,15 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gupta / Talpin / Le Guernic Formal Methods and Models for System Design
A System Level Perspective1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: Springer USISBN: 978-1-4419-5464-0Medium: Buch171,15 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort