Ergebnisse filtern
-
- 608
- 27
- 4
- 1
-
- 13
- 111
- 342
- 174
-
- 546
- 97
-
- 631
- 9
-
- 640
- 76
-
Samek Practical UML Statecharts in C/C++
Event-Driven Programming for Embedded Systems2. Auflage 2008Verlag: CRC PressISBN: 978-1-4987-1770-0Medium: eBookFormat: EPUB
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)74,49 € (inkl. MwSt.)
sofort verfügbar
-
Eilebrecht / Starke Patterns kompakt
Entwurfsmuster für effektive Softwareentwicklung5., Ak. und erweiterte Auflage 2019Verlag: SpringerISBN: 978-3-662-57936-7Medium: Buch19,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Editors-in-Chief: J. Gray / B. Rumpe Software and Systems Modeling
Verlag: SpringerISSN: 16191366Medium: ZeitschriftInstitutionen - Print + Online
1.708,79 € (inkl. MwSt.)
zzgl. 46,55 € Versandkosten des Verlages
-
Editors-in-Chief: J. Gray / B. Rumpe Software and Systems Modeling
Verlag: SpringerISSN: 16191374Medium: ZeitschriftInstitutionen - Online
1.127,78 € (inkl. MwSt.)
-
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
-
Koycheva Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen
1. Auflage 2014Verlag: De GruyterISBN: 978-3-486-73077-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,95 € (inkl. MwSt.)
sofort verfügbar
-
van Lamsweerde Requirements Engineering
From System Goals to UML Models to Software Specifications1. Auflage 2009Verlag: John Wiley & Sons IncISBN: 978-0-470-01270-3Medium: Buch61,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Barclay / Savage Barclay, K: OBJECT-ORIENTED DESIGN W/UML &
Erscheinungsjahr 2003Verlag: Elsevier LTD, OxfordISBN: 978-0-7506-6098-3Medium: Buch44,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Boulanger Formal Methods
Industrial Use from Model to the Code1. Auflage 2012Verlag: WileyISBN: 978-1-84821-362-3Medium: Buch164,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Forlingieri / Weilkiens / Chalé-Gongora Model-Based Product Line Engineering (Mbple)
The Feature-Based Path to Product Lines Success1. Auflage 2025Verlag: WileyISBN: 978-1-394-20466-3Medium: Buch123,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Selic Modeling and Analysis of Real-Time and Embedded Systems with
Erscheinungsjahr 2013Verlag: Elsevier Science & TechnologyISBN: 978-0-12-416619-6Medium: Buch51,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Naab / Knodel Pragmatic Evaluation of Software Architectures
1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-34176-7Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Biere / Bloem Computer Aided Verification
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-08866-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gross Component-Based Software Testing with UML
Softcover Nachdruck of hardcover 1. Auflage 2005Verlag: SpringerISBN: 978-3-642-05882-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sur / Banerjee SystemC and SystemC-AMS in Practice
SystemC 2.3, 2.2 and SystemC-AMS 1.02014Verlag: Springer International PublishingISBN: 978-3-319-01146-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hildebrandt / Ravara / van der Werf Web Services, Formal Methods, and Behavioral Types
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33611-4Medium: Buch44,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cabrera Modular Design Frameworks
A Projects-based Guide for UI/UX Designers1. Auflage 2017Verlag: APressISBN: 978-1-4842-1687-3Medium: Buch35,30 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Maurer / Schmidt / Lindemann Modeling and managing complex systems
Proceedings of the 17th International DSM Conference Fort Worth (Texas, USA), 4-6 November 20151. Auflage 2015Verlag: Carl HanserISBN: 978-3-446-44726-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark59,99 € (inkl. MwSt.)
sofort verfügbar
-
Toth Vorgehensmuster für Softwarearchitektur
Kombinierbare Praktiken in Zeiten von Agile und Lean3. aktualisierte und erweiterte Auflage 2019Verlag: Carl HanserISBN: 978-3-446-46282-3Medium: Buch34,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Siebold / Fraunhofer EMI, Freiburg / Brsg. / Thoma Identifikation und Analyse von sicherheitsbezogenen Komponenten in semi-formalen Modellen
Erscheinungsjahr 2013Verlag: Fraunhofer VerlagISBN: 978-3-8396-0541-7Medium: Buch58,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Oestereich / Scheithauer Analyse und Design mit der UML 2.5.1
Objektorientierte Softwareentwicklung12th newly structured and enlarged Auflage based on Essence 1.2Verlag: De GruyterISBN: 978-3-11-062621-6Medium: Buch89,95 € (inkl. MwSt.)
vorbestellbar
-
Millett / Tune Patterns, Principles, and Practices of Domain-Driven Design
1. Auflage 2015Verlag: Wiley John + SonsISBN: 978-1-118-71470-6Medium: Buch65,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Wecker Prozessorentwurf mit Verilog HDL
Modellierung und Synthese von Prozessormodellen1. Auflage 2021Verlag: De GruyterISBN: 978-3-11-071789-1Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark59,95 € (inkl. MwSt.)
sofort verfügbar
-
Toth Vorgehensmuster für Softwarearchitektur
Kombinierbare Praktiken in Zeiten von Agile und Lean3. aktualisierte und erweiterte Auflage 2019Verlag: Carl HanserISBN: 978-3-446-46004-1Medium: Buch34,90 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Siebler Design Patterns mit Java
Eine Einführung in Entwurfsmuster1. Auflage 2014Verlag: Carl HanserISBN: 978-3-446-43616-9Medium: Buch29,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wazlawick Object-Oriented Analysis and Design for Information Systems
Modeling with UML, OCL, and IFMLErscheinungsjahr 2014Verlag: Elsevier Science & TechnologyISBN: 978-0-12-418673-6Medium: Buch41,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kühne / Drechsler Formal Modeling and Verification of Cyber-Physical Systems
1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 20152015Verlag: SpringerISBN: 978-3-658-09993-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
O'Regan Concise Guide to Formal Methods
Theory, Fundamentals and Industry Applications1. Auflage 2017Verlag: SpringerISBN: 978-3-319-64020-4Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Seffah Patterns of HCI Design and HCI Design of Patterns
Bridging HCI Design and Model-Driven Software EngineeringSoftcover Nachdruck of the original 1. Auflage 2015Verlag: SpringerISBN: 978-3-319-36402-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jain / Chatterjee / Bansal Computational Intelligence in Software Modeling
1. Auflage 2022Verlag: De GruyterISBN: 978-3-11-070543-0Medium: Buch123,95 € (inkl. MwSt.)
RRP
Lieferzeit ca. 10 Werktage
-
Lakshmanan / Robinson / Munn Design Patterns für Machine Learning
Entwurfsmuster für Datenaufbereitung, Modellbildung und MLOps - Best Practices für die gesamte ML-Pipeline1. Auflage 2021Verlag: dpunkt.VerlagISBN: 978-3-96009-164-6Medium: Buch44,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Petry / Yazici Uncertainty Approaches for Spatial Data Modeling and Processing
A decision support perspectiveErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-10662-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sagdeo The Complete Verilog Book
Softcover Nachdruck of the original 1. Auflage 1998Verlag: Springer USISBN: 978-1-4757-7126-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Canal / Idani Software Engineering and Formal Methods
SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-15200-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pan / Staab / Zhao Ontology-Driven Software Development
2013Verlag: SpringerISBN: 978-3-642-42895-1Medium: Buch106,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
-
Nagai / Taura Concept Generation for Design Creativity
A Systematized Theory and Methodology2013Verlag: SpringerISBN: 978-1-4471-4080-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pötzsche / Heuberger / Kaltenbacher System Modeling and Optimization
26th IFIP TC 7 Conference, CSMO 2013, Klagenfurt, Austria, September 9-13, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-45503-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Yoong / Kuo / Roop Model-Driven Design Using IEC 61499
A Synchronous Approach for Embedded and Automation Systems2015Verlag: Springer International PublishingISBN: 978-3-319-10520-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Shao Programming Languages and Systems
23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54832-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chiba / Tanter / Bodden Transactions on Aspect-Oriented Software Development XI
Erscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-55098-0Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Devillers / Valmari Application and Theory of Petri Nets and Concurrency
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-19487-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ehlmann Object Relationship Notation (Orn) for Database Applications
Enhancing the Modeling and Implementation of Associations2009. Auflage 2009Verlag: Springer UsISBN: 978-0-387-09553-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wasowski / Wasowski / Lönn Modelling Foundations and Applications
12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-42060-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03423-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Przigoda / Drechsler / Wille Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Softcover Nachdruck of the original 1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-89214-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Merz / Pang Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11736-2Medium: Buch53,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
-
Bondavalli / Di Giandomenico Computer Safety, Reliability, and Security
33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10505-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Starr / Mellor / Mangogna Models to Code
With No Mysterious Gaps1. Auflage 2017Verlag: ApressISBN: 978-1-4842-2216-4Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Leuschel / Wehrheim Integrated Formal Methods
7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-00254-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Browning / Eppinger / Schmidt Modeling and managing complex systems
Proceedings of the 17th International DSM Conference Fort Worth (Texas, USA), 4-6 November 20151. Auflage 2015Verlag: Carl HanserISBN: 978-3-446-44573-4Medium: Buch59,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Braga / Martí-Oliet Formal Methods: Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings2015Verlag: SpringerISBN: 978-3-319-15074-1Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kleuker Grundkurs Software-Engineering mit UML
Der pragmatische Weg zu erfolgreichen Softwareprojekten5. Auflage 2025Verlag: SpringerISBN: 978-3-658-46533-9Medium: Buch44,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Singer Practical C++ Design
From Programming to Architecture2. Auflage 2021Verlag: ApressISBN: 978-1-4842-7406-4Medium: Buch48,14 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chikhi / Saidouni / Amine Modelling and Implementation of Complex Systems
Proceedings of the 5th International Symposium, MISC 2018, December 16-18, 2018, Laghouat, Algeria1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-05480-9Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Badger / Rozier NASA Formal Methods
11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-20651-2Medium: Buch70,61 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hallmann Prototyping komplexer Softwaresysteme
Ansätze zum Prototyping und Vorschlag einer Vorgehensweise1990Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02497-2Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rauh / Auer Modeling, Design, and Simulation of Systems with Uncertainties
1. Auflage 2011Verlag: SpringerISBN: 978-3-642-15955-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ebert / van der Veer / Domik Building Bridges: HCI, Visualization, and Non-formal Modeling
IFIP WG 13.7 Workshops on Human-Computer Interaction and Visualization: 7th HCIV@ECCE 2011, Rostock, Germany, August 23, 2011, and 8th HCIV@INTERACT 2011, Lisbon, Portugal, September 5, 2011, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-642-54893-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Polikarpova / Schneider Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-66844-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hussmann / Meixner / Zuehlke Model-Driven Development of Advanced User Interfaces
1. Auflage 2013Verlag: SpringerISBN: 978-3-642-26686-7Medium: Buch160,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
-
Bernardi / Petriu / Merseguer Model-Driven Dependability Assessment of Software Systems
2013Verlag: SpringerISBN: 978-3-642-39511-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Koutny / van der Aalst / Yakovlev Transactions on Petri Nets and Other Models of Concurrency VIII
Erscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40464-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pasareanu / Salaün Formal Aspects of Component Software
9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35860-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
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
-
Gaur / Zwolinski / Singh VLSI Design and Test
17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-42023-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sarcar Java Design Patterns
1. Auflage 2015Verlag: ApressISBN: 978-1-4842-1801-3Medium: Buch29,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rubin / Bouabana-Tebibel Formalisms for Reuse and Systems Integration
2015Verlag: Springer International PublishingISBN: 978-3-319-16576-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bertacco / Legay Hardware and Software: Verification and Testing
9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03076-0Medium: 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 I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34025-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Albert / Lanese Formal Techniques for Distributed Objects, Components, and Systems
36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-39569-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jürjens / Piessens / Bielova Engineering Secure Software and Systems
6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-04896-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Christiansen / Stojanovic / Papadopoulos Modeling and Using Context
9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25590-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jürjens Secure Systems Development with UML
Softcover Nachdruck of hardcover 1. Auflage 2005Verlag: SpringerISBN: 978-3-642-05635-2Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Iyoda / de Moura Formal Methods: Foundations and Applications
16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41070-3Medium: Buch49,22 € (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
-
Objektorientierte Spezifikation von Informationssystemen
1993Verlag: Vieweg+Teubner VerlagISBN: 978-3-8154-2054-6Medium: Buch49,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
D'Souza / Lal / Larsen Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-662-46080-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wolff von Gudenberg / Seemann Software-Entwurf mit UML 2
Objektorientierte Modellierung mit Beispielen in Java2. Auflage 2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30949-9Medium: Buch82,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Balzert UML 2 kompakt
mit Checklisten3. Auflage 3. Aufl 2010Verlag: Spektrum-Akademischer VlgISBN: 978-3-8274-2506-5Medium: Buch19,99 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Systemdynamik und Simulation
1999Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02743-0Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Howar / Barnat Formal Methods for Industrial Critical Systems
23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-00243-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Abelló / Bellatreche / Benatallah Model and Data Engineering
2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33608-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Chikhi / Amine / Chaoui Modelling and Implementation of Complex Systems
Proceedings of the 6th International Symposium, MISC 2020, Batna, Algeria, October 24¿26, 20201. Auflage 2021Verlag: SpringerISBN: 978-3-030-58860-1Medium: Buch192,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Di Giacomo / Lubiw Graph Drawing and Network Visualization
23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27260-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pohl / Broy / Hönninger Model-Based Engineering of Embedded Systems
The SPES 2020 Methodology2012Verlag: SpringerISBN: 978-3-642-43992-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Przigoda / Drechsler / Wille Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-319-72813-1Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Patel / Sutherland / Miller Business Object Design and Implementation II
OOPSLA'96, OOPSLA'97 and OOPSLA'98 Workshop Proceedings1. Auflage 1998Verlag: SpringerISBN: 978-1-85233-108-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Durán Rewriting Logic and Its Applications
9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34004-8Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Shi / Tlelo Cuautle / Tan Advanced Symbolic Analysis for VLSI Systems
Methods and Applications2014Verlag: SpringerISBN: 978-1-4939-1102-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bergsmann Requirements Engineering für die agile Softwareentwicklung
Methoden, Techniken und Strategien3. überarbeitete und aktualisierte Auflage 2023Verlag: dpunkt.VerlagISBN: 978-3-86490-929-0Medium: Buch39,90 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Rauber Du Bois / Trinder Programming Languages
17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40921-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rumpe Agile Modeling with UML
Code Generation, Testing, RefactoringSoftcover Nachdruck of the original 1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-86494-5Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Leonard / Masson / Mitchell SQL Server 2012 Integration Services Design Patterns
1. Auflage 2012Verlag: ApressISBN: 978-1-4302-3771-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cerny / Korchemny / Dudani SVA: The Power of Assertions in SystemVerilog
2. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-07138-1Medium: Buch181,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Levin Modular System Design and Evaluation
Softcover Nachdruck of the original 1. Auflage 2015Verlag: SpringerISBN: 978-3-319-36333-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ogata / Lawford / Liu Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-47845-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Molina / Pastor Model-Driven Architecture in Practice
A Software Production Environment Based on Conceptual Modeling2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-71867-3Medium: 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
