Ergebnisse filtern
-
- 338
- 17
-
- 5
- 51
- 176
- 123
-
- 320
- 35
-
- 352
- 3
-
- 355
- 28
-
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 -
Janca Alice and Bob Learn Secure Coding
1. Auflage 2025Verlag: John Wiley & Sons IncISBN: 978-1-394-17170-5Medium: Buch47,50 € (inkl. MwSt.)
Lieferzeit ca. 1-3 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 -
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)78,99 € (inkl. MwSt.)
sofort verfügbar -
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 / Altmann / Doberkat 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. 3 bis 4 Wochen -
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 -
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 -
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 -
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 -
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 -
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 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)139,99 € (inkl. MwSt.)
sofort verfügbar -
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 -
Duffy Domain Architectures
1. Auflage 2004Verlag: John Wiley & SonsISBN: 978-0-470-84833-3Medium: Buch42,50 € (inkl. MwSt.)
Lieferzeit ca. 3 bis 4 Wochen -
Kroening / Pasareanu / Pasareanu Computer Aided Verification
27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I1. Auflage 2015Verlag: SpringerISBN: 978-3-319-21689-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dingel / Schulte / Ramos Model-Driven Engineering Languages and Systems
17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11652-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Castano / Vassiliadis / Lakshmanan Advances in Conceptual Modeling
ER 2012 Workshops CMS, ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33998-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Chemuturi Requirements Engineering and Management for Software Development Projects
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-1-4899-9307-6Medium: 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