Ergebnisse filtern
-
- 337
- 18
-
- 5
- 54
- 174
- 122
-
- 316
- 39
-
- 349
- 6
-
- 355
- 30
-
Lanese / Madelaine Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-15316-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Singh Using Event-B for Critical Device Software Systems
2013Verlag: SpringerISBN: 978-1-4471-5259-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Samek Practical UML Statecharts in C/C++
Event-Driven Programming for Embedded Systems2. Auflage 2008Verlag: Taylor & FrancisISBN: 978-1-4822-4926-2Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)74,49 € (inkl. MwSt.)
sofort verfügbar -
Janca Alice and Bob Learn Secure Coding
1. Auflage 2025Verlag: WileyISBN: 978-1-394-17170-5Medium: Buch46,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Eigner / Zafirov / Roubanov Modellbasierte virtuelle Produktentwicklung
2014Verlag: SpringerISBN: 978-3-662-43815-2Medium: Buch109,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Große-Rhode Semantic Integration of Heterogeneous Software Specifications
1. Auflage. Softcover version of original hardcover Auflage 2004Verlag: SpringerISBN: 978-3-642-07306-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Henderson-Sellers / Ralyté / Ågerfalk Situational Method Engineering
Softcover Nachdruck of the original 1. Auflage 2014Verlag: SpringerISBN: 978-3-662-52263-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Henderson-Sellers / Ralyté / Ågerfalk Situational Method Engineering
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-41466-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Johnsen / Petre Integrated Formal Methods
10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38612-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Züllighoven / Doberkat / Altmann Requirements Engineering '93: Prototyping
1993Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02682-2Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kramer / Legeard Model-Based Testing Essentials - Guide to the Istqb Certified Model-Based Tester
Foundation Level1. Auflage 2016Verlag: WileyISBN: 978-1-119-13001-7Medium: Buch76,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pureur / Erder Continuous Architecture
Sustainable Architecture in an Agile and Cloud-Centric World1. Auflage 2015Verlag: Academic PressISBN: 978-0-12-803285-5Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark42,95 € (inkl. MwSt.)
sofort verfügbar -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47165-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schlüter Generic Systems Engineering
Ein methodischer Ansatz zur Komplexitätsbewältigung3. Auflage 2023Verlag: SpringerISBN: 978-3-662-66788-0Medium: Buch109,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iida / Meseguer / Ogata Specification, Algebra, and Software
Essays Dedicated to Kokichi FutatsugiErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54623-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34031-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Große-Rhode Semantic Integration of Heterogeneous Software Specifications
2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-40257-2Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kecher / Hoffmann-Elbern / Will UML 2.5
Das umfassende Handbuch (Ausgabe 2021) - inkl. DIN A2-Poster mit allen Diagrammtypen7. aktualisierte Auflage 2021Verlag: Rheinwerk Verlag GmbHISBN: 978-3-8362-8447-9Medium: Buch34,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Ehrig / Engels / Kreowski Graph Transformation
6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33653-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rayadurgam / Tkachuk NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40647-3Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Mittal / Risco-Martin / Risco Martín Netcentric System of Systems Engineering with DEVS Unified Process
1. Auflage 2013Verlag: Taylor & Francis IncISBN: 978-1-4398-2706-2Medium: Buch260,50 € (inkl. MwSt.)
Kurzfristig nicht lieferbar -
Mittal / Risco Martín Netcentric System of Systems Engineering with DEVS Unified Process
1. Auflage 2013Verlag: CRC PressISBN: 978-1-4398-2707-9Medium: eBookFormat: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)131,99 € (inkl. MwSt.)
sofort verfügbar -
Nagl Gotik und Informatik
Intelligenter Entwurf damals und heute1. Auflage 2019Verlag: SpringerISBN: 978-3-662-55517-0Medium: Buch24,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34025-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03426-9Medium: 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