Ergebnisse filtern
Fachgebiet
Medium
  • 601
  • 20
  • 4
  • 1
Erscheinungsjahr
  • 1
  • 7
  • 6
  • 10
  • 20
  • 14
  • 18
  • 38
  • 18
  • 72
  • 67
  • 95
  • 90
  • 62
  • 12
  • 25
  • 8
  • 6
  • 5
  • 4
  • 5
  • 5
  • 5
  • 3
  • 5
  • 2
  • 2
  • 6
  • 1
  • 1
  • 3
  • 1
  • 1
Autoren
  • 1
  • 2
  • 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
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 6
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 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
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 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
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 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
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 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
  • 1
  • 4
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 4
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 5
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 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
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 11
  • 1
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 4
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 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
  • 1
  • 2
  • 2
  • 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
  • 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
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 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
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 8
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 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
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 6
  • 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
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
Verlag
  • 1
  • 16
  • 2
  • 1
  • 2
  • 12
  • 3
  • 19
  • 3
  • 1
  • 12
  • 2
  • 3
  • 8
  • 5
  • 2
  • 3
  • 2
  • 11
  • 7
  • 1
  • 5
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 209
  • 14
  • 2
  • 195
  • 1
  • 6
  • 1
  • 12
  • 4
  • 4
  • 1
  • 1
  • 3
  • 1
  • 13
  • 20
  • 2
  • 1
  • 2
  • 1
Preis
  • 12
  • 108
  • 331
  • 175
Sprachen
  • 534
  • 94
Verfügbarkeit
  • 616
  • 10
Katalog
  • 626
  • 74
626  Titel
    Tekinerdogan / Babar / Zdun | Software Architecture | Buch | Sack Fachmedien

    Tekinerdogan / Babar / Zdun Software Architecture

    10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48991-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jureta | The Design of Requirements Modelling Languages | Buch | Sack Fachmedien

    Jureta The Design of Requirements Modelling Languages

    How to Make Formalisms for Problem Solving in Requirements Engineering
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-36973-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comyn-Wattiau / Tanaka / Saeki | Conceptual Modeling | Buch | Sack Fachmedien

    Comyn-Wattiau / Tanaka / Saeki Conceptual Modeling

    35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46396-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Khosravi / Kouchnarenko | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Khosravi / Kouchnarenko Formal Aspects of Component Software

    13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57665-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merino / Gallardo | Model Checking Software | Buch | Sack Fachmedien

    Merino / Gallardo Model Checking Software

    25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-94110-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schaefer / Johnsen | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Schaefer / Johnsen Software Engineering and Formal Methods

    16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27¿29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Artho | Formal Techniques for Safety-Critical Systems | Buch | Sack Fachmedien

    Ölveczky / Artho Formal Techniques for Safety-Critical Systems

    Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-17580-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seki / Proietti | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Seki / Proietti Logic-Based Program Synthesis and Transformation

    24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-17821-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tian / Sebe / Liu | MultiMedia Modeling | Buch | Sack Fachmedien

    Tian / Sebe / Liu MultiMedia Modeling

    22nd International Conference, MMM 2016, Miami, FL, USA, January 4-6, 2016, Proceedings, Part II
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27673-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Zaïdi / Conchon | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Butler / Zaïdi / Conchon Formal Methods and Software Engineering

    17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25422-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Desel / Colom | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Desel / Colom Application and Theory of Petri Nets and Concurrency

    34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38696-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Medina Pasaje / Oppenheimer | Languages, Design Methods, and Tools for Electronic System Design | Buch | Sack Fachmedien

    Medina Pasaje / Oppenheimer Languages, Design Methods, and Tools for Electronic System Design

    Selected Contributions from FDL 2014
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-79631-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shao | Programming Languages and Systems | Buch | Sack Fachmedien

    Shao Programming Languages and Systems

    5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-76636-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Oberle | Semantic Management of Middleware | Buch | Sack Fachmedien

    Oberle Semantic Management of Middleware

    2006
    Verlag: Springer US
    ISBN: 978-0-387-27630-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anthony | Iterating Infusion | Buch | Sack Fachmedien

    Anthony Iterating Infusion

    Clearer Views of Objects, Classes, and Systems
    1. Auflage 2005
    Verlag: Apress
    ISBN: 978-1-59059-537-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Woodcock / Liu | Formal Methods and Hybrid Real-Time Systems | Buch | Sack Fachmedien

    Jones / Woodcock / Liu Formal Methods and Hybrid Real-Time Systems

    Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75220-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reis / Moreira | Implementation and Application of Automata | Buch | Sack Fachmedien

    Reis / Moreira Implementation and Application of Automata

    17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31605-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doursat / Michel / Sayama | Morphogenetic Engineering | Buch | Sack Fachmedien

    Doursat / Michel / Sayama Morphogenetic Engineering

    Toward Programmable Complex Systems
    2013
    Verlag: Springer
    ISBN: 978-3-642-33901-1
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henderson-Sellers | On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages | Buch | Sack Fachmedien

    Henderson-Sellers On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

    2012
    Verlag: Springer
    ISBN: 978-3-642-29824-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bianculli / Rumpe / Calinescu | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Bianculli / Rumpe / Calinescu Software Engineering and Formal Methods

    SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-49223-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Braga | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Ölveczky / Braga Formal Aspects of Component Software

    12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-28933-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Singh | Using Event-B for Critical Device Software Systems | Buch | Sack Fachmedien

    Singh Using Event-B for Critical Device Software Systems

    2013
    Verlag: Springer
    ISBN: 978-1-4471-5790-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Lamprecht | Process Design for Natural Scientists | Buch | Sack Fachmedien

    Margaria / Lamprecht Process Design for Natural Scientists

    An Agile Model-Driven Approach
    2014
    Verlag: Springer
    ISBN: 978-3-662-45005-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Joshi / Holzmann | NASA Formal Methods | Buch | Sack Fachmedien

    Havelund / Joshi / Holzmann NASA Formal Methods

    7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-17523-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Medina Pasaje / Oppenheimer | Languages, Design Methods, and Tools for Electronic System Design | Buch | Sack Fachmedien

    Medina Pasaje / Oppenheimer Languages, Design Methods, and Tools for Electronic System Design

    Selected Contributions from FDL 2014
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24455-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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