Ergebnisse filtern
-
- 337
- 18
-
- 5
- 54
- 174
- 122
-
- 316
- 39
-
- 349
- 6
-
- 355
- 30
-
Mehta System Verilog Assertions and Functional Coverage
Guide to Language, Methodology and ApplicationsThird Auflage 2020Verlag: SpringerISBN: 978-3-030-24736-2Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jones / Liu / Woodcock Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th BirthdaysErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75220-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Papajorgji / Pardalos Software Engineering Techniques Applied to Agricultural Systems
An Object-Oriented and UML Approach2. Auflage 2014Verlag: SpringerISBN: 978-1-4899-7462-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 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 -
Wecker Prozessorentwurf mit Verilog HDL
Modellierung und Synthese von Prozessormodellen1. Auflage 2021Verlag: De GruyterISBN: 978-3-11-071782-2Medium: Buch59,95 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bianculli / Calinescu / Rumpe Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-662-49223-9Medium: Buch53,49 € (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 -
Wahl / Rajan CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems
2013Verlag: Springer ViennaISBN: 978-3-7091-1386-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wahl / Rajan CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems
2013Verlag: Springer ViennaISBN: 978-3-7091-1725-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 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 -
Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2015
15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27339-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Arbab / Ölveczky Formal Aspects of Component Software
8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-35742-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bae / Ölveczky Formal Aspects of Component Software
15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-02145-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tekinerdogan / Babur / Cleophas Model Management and Analytics for Large Scale Systems
Erscheinungsjahr 2019Verlag: Elsevier Science Publishing Co IncISBN: 978-0-12-816649-9Medium: Buch136,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grabowski / Herbold System Analysis and Modeling. Technology-Specific Aspects of Models
9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-46612-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Beckert / Damiani / de Boer Formal Methods for Components and Objects
10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35886-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dori Model-Based Systems Engineering with OPM and SysML
1. Auflage 2016Verlag: SpringerISBN: 978-1-4939-3294-8Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Van Gorp / Ritter / Rose Modelling Foundations and Applications
9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39012-8Medium: Buch49,22 € (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 -
Dori Model-Based Systems Engineering with OPM and SysML
Softcover Nachdruck of the original 1. Auflage 2016Verlag: SpringerISBN: 978-1-4939-8014-7Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kiyoki / Kawaguchi / Jaakkola Information Modelling and Knowledge Bases XV
1. Auflage 2004Verlag: IOS PressISBN: 978-1-58603-396-5Medium: Buch74,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reisig Understanding Petri Nets
Modeling Techniques, Analysis Methods, Case Studies2013Verlag: SpringerISBN: 978-3-642-33277-7Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gast Softwarearchitektur für Dummies
1. Auflage 2023Verlag: Wiley-VCH GmbHISBN: 978-3-527-72001-9Medium: Buch28,00 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage -
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03417-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Reisig Understanding Petri Nets
Modeling Techniques, Analysis Methods, Case StudiesSoftcover Nachdruck of the original 1. Auflage 2013Verlag: SpringerISBN: 978-3-662-52307-0Medium: 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