Ergebnisse filtern
Fachgebiet
Medium
  • 600
  • 26
  • 4
  • 1
Erscheinungsjahr
  • 1
  • 8
  • 9
  • 6
  • 9
  • 20
  • 12
  • 16
  • 34
  • 19
  • 71
  • 65
  • 94
  • 94
  • 65
  • 11
  • 24
  • 5
  • 7
  • 6
  • 5
  • 5
  • 6
  • 6
  • 4
  • 6
  • 3
  • 2
  • 6
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 9
  • 1
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 7
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 3
  • 1
  • 3
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 11
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 6
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 3
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 8
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 3
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 3
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 4
  • 1
  • 2
  • 10
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
Verlag
  • 1
  • 18
  • 3
  • 1
  • 14
  • 5
  • 18
  • 3
  • 3
  • 11
  • 1
  • 3
  • 10
  • 5
  • 2
  • 2
  • 2
  • 6
  • 10
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 384
  • 6
  • 43
  • 4
  • 5
  • 4
  • 1
  • 1
  • 4
  • 3
  • 1
  • 1
  • 13
  • 23
  • 1
  • 1
  • 2
  • 2
Preis
  • 12
  • 106
  • 339
  • 174
Sprachen
  • 543
  • 91
Verfügbarkeit
  • 621
  • 10
Katalog
  • 631
  • 77
631  Titel
    Boniol / Wiels / Ait Ameur | ABZ 2014: The Landing Gear Case Study | Buch | Sack Fachmedien

    Boniol / Wiels / Ait Ameur ABZ 2014: The Landing Gear Case Study

    Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-07511-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Helfert / Donnellan | Design Science: Perspectives from Europe | Buch | Sack Fachmedien

    Helfert / Donnellan Design Science: Perspectives from Europe

    European Design Science Symposium EDSS 2012, Leixlip, Ireland, December 6, 2012Revised Selected Papers
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-04089-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Camarinha-Matos / Pereira / Ribeiro | Emerging Trends in Technological Innovation | Buch | Sack Fachmedien

    Camarinha-Matos / Pereira / Ribeiro Emerging Trends in Technological Innovation

    First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11627-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blatnik / Carey | Design Concepts with Code | Buch | Sack Fachmedien

    Blatnik / Carey Design Concepts with Code

    An Approach for Developers
    Softcover Nachdruck of the Original 1. Auflage 2003
    Verlag: Apress
    ISBN: 978-1-59059-111-6
    Medium: Buch
    36,37 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Starke | Effektive Softwarearchitekturen | Buch | Sack Fachmedien

    Starke Effektive Softwarearchitekturen

    Ein praktischer Leitfaden
    9. überarbeitete Auflage 2020
    Verlag: Carl Hanser
    ISBN: 978-3-446-46376-9
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Friedenthal / Moore / Steiner | A Practical Guide to SysML | Buch | Sack Fachmedien

    Friedenthal / Moore / Steiner A Practical Guide to SysML

    The Systems Modeling Language
    3. Auflage 2014
    Verlag: Elsevier LTD
    ISBN: 978-0-12-800202-5
    Medium: Buch
    59,00 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Gaševic / Djuric / Devedžic | Model Driven Engineering and Ontology Development | Buch | Sack Fachmedien

    Gaševic / Djuric / Devedžic Model Driven Engineering and Ontology Development

    Softcover Nachdruck of hardcover 2. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-10134-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drechsler | Formal System Verification | Buch | Sack Fachmedien

    Drechsler Formal System Verification

    State-of the-Art and Future Trends
    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-86223-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Rashid / Chitchyan | Aspect-Oriented Requirements Engineering | Buch | Sack Fachmedien

    Moreira / Rashid / Chitchyan Aspect-Oriented Requirements Engineering

    2013
    Verlag: Springer
    ISBN: 978-3-642-38639-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ries | BOINC | Buch | Sack Fachmedien

    Ries BOINC

    Hochleistungsrechnen mit Berkeley Open Infrastructure for Network Computing
    2012
    Verlag: Springer
    ISBN: 978-3-642-23382-1
    Medium: Buch
    66,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Große-Rhode | Semantic Integration of Heterogeneous Software Specifications | Buch | Sack Fachmedien

    Große-Rhode Semantic Integration of Heterogeneous Software Specifications

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40257-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atilgan / Straub | Entwurfsmuster in ABAP | Buch | Sack Fachmedien

    Atilgan / Straub Entwurfsmuster in ABAP

    2. Auflage 2015
    Verlag: Rheinwerk Verlag
    ISBN: 978-3-8362-3810-6
    Medium: Buch
    69,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amine / Otmane / Bellatreche | Modeling Approaches and Algorithms for Advanced Computer Applications | Buch | Sack Fachmedien

    Amine / Otmane / Bellatreche Modeling Approaches and Algorithms for Advanced Computer Applications

    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-319-00559-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petry / Yazici | Uncertainty Approaches for Spatial Data Modeling and Processing | Buch | Sack Fachmedien

    Petry / Yazici Uncertainty Approaches for Spatial Data Modeling and Processing

    A decision support perspective
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-26252-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Puente León / Kiencke | Ereignisdiskrete Systeme | eBook | Sack Fachmedien
    E-Book

    Puente León / Kiencke Ereignisdiskrete Systeme

    Modellierung und Steuerung verteilter Systeme
    2. überarbeitete und erweiterte Aufl 2009
    Verlag: De Gruyter
    ISBN: 978-3-486-59342-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    34,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Toth | Vorgehensmuster für Softwarearchitektur | eBook | Sack Fachmedien
    E-Book

    Toth Vorgehensmuster für Softwarearchitektur

    Kombinierbare Praktiken in Zeiten von Agile und Lean
    1. Auflage 2014
    Verlag: Carl Hanser
    ISBN: 978-3-446-44315-0
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    27,99 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Zhan / Wang / Zhao | Formal Verification of Simulink/Stateflow Diagrams | Buch | Sack Fachmedien

    Zhan / Wang / Zhao Formal Verification of Simulink/Stateflow Diagrams

    A Deductive Approach
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-47014-6
    Medium: Buch
    123,04 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lavagno / Martin / Selic | UML for Real | Buch | Sack Fachmedien

    Lavagno / Martin / Selic UML for Real

    Design of Embedded Real-Time Systems
    1. Auflage. Softcover version of original hardcover Auflage 2003
    Verlag: Springer
    ISBN: 978-1-4419-5368-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kiencke / Puente León | Ereignisdiskrete Systeme | Buch | Sack Fachmedien

    Kiencke / Puente León Ereignisdiskrete Systeme

    Modellierung und Steuerung verteilter Systeme
    vollständig überarbeitete und ergänzte Auflage
    Verlag: De Gruyter
    ISBN: 978-3-486-73574-1
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Editors-in-Chief: J. Gray / B. Rumpe | Software and Systems Modeling | Zeitschrift | Sack Fachmedien

    Editors-in-Chief: J. Gray / B. Rumpe Software and Systems Modeling

    Verlag: Springer
    ISSN: 16191374
    Medium: Zeitschrift
    Institutionen - Online
    1.127,78 € (inkl. MwSt.)
    Bereits im Warenkorb
    Editors-in-Chief: J. Gray / B. Rumpe | Software and Systems Modeling | Zeitschrift | Sack Fachmedien

    Editors-in-Chief: J. Gray / B. Rumpe Software and Systems Modeling

    Verlag: Springer
    ISSN: 16191366
    Medium: Zeitschrift
    Institutionen - Print + Online
    1.708,79 € (inkl. MwSt.)
    zzgl. 46,55 € Versandkosten des Verlages
    Bereits im Warenkorb
    Jain / Chatterjee / Bansal | Computational Intelligence in Software Modeling | Buch | Sack Fachmedien

    Jain / Chatterjee / Bansal Computational Intelligence in Software Modeling

    1. Auflage 2022
    Verlag: De Gruyter
    ISBN: 978-3-11-070543-0
    Medium: Buch
    123,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wazlawick | Object-Oriented Analysis and Design for Information Systems | Buch | Sack Fachmedien

    Wazlawick Object-Oriented Analysis and Design for Information Systems

    Modeling with UML, OCL, and IFML
    Erscheinungsjahr 2014
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-12-418673-6
    Medium: Buch
    41,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Selic | Modeling and Analysis of Real-Time and Embedded Systems with | Buch | Sack Fachmedien

    Selic Modeling and Analysis of Real-Time and Embedded Systems with

    Erscheinungsjahr 2013
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-12-416619-6
    Medium: Buch
    51,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kühne / Drechsler | Formal Modeling and Verification of Cyber-Physical Systems | Buch | Sack Fachmedien

    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 2015
    2015
    Verlag: Springer
    ISBN: 978-3-658-09993-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular