Taschenbuch. Condition: Neu. Methods of Programming | Selected Papers on the CIP-Project | Manfred Broy (u. a.) | Taschenbuch | x | Englisch | 1991 | Springer | EAN 9783540545767 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Formal Methods in Programming and Their Applications | International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings | Dines Bjørner (u. a.) | Taschenbuch | ix | Englisch | 1993 | Springer | EAN 9783540573166 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Perspectives of Systems Informatics | 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers | Manfred Broy (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540208136 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Automotive Software-Connected Services in Mobile Networks | First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers | Manfred Broy (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2006 | Springer | EAN 9783540376774 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Model-Based Testing of Reactive Systems | Advanced Lectures | Manfred Broy (u. a.) | Taschenbuch | viii | Englisch | 2005 | Springer | EAN 9783540262787 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. KORSO: Methods, Languages, and Tools for the Construction of Correct Software | Final Report | Manfred Broy (u. a.) | Taschenbuch | x | Englisch | 1995 | Springer | EAN 9783540605898 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Perspectives of System Informatics | Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings | Dines Bjørner (u. a.) | Taschenbuch | xix | Englisch | 1996 | Springer | EAN 9783540620648 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Formal Systems Specification | The RPC-Memory Specification Case Study | Manfred Broy (u. a.) | Taschenbuch | xxiii | Englisch | 1996 | Springer | EAN 9783540619840 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Model-Driven Development of Reliable Automotive Services | Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers | Manfred Broy (u. a.) | Taschenbuch | xviii | Englisch | 2008 | Springer | EAN 9783540709299 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Perspectives of System Informatics | 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers | Dines Bjørner (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2001 | Springer | EAN 9783540430759 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Specification and Development of Interactive Systems | Focus on Streams, Interfaces, and Refinement | Manfred Broy (u. a.) | Taschenbuch | Monographs in Computer Science | xv | Englisch | 2012 | Springer | EAN 9781461265184 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Advanced Model-Based Engineering of Embedded Systems | Extensions of the SPES 2020 Methodology | Klaus Pohl (u. a.) | Taschenbuch | xii | Englisch | 2018 | Springer | EAN 9783319838762 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Model-Based Engineering of Embedded Systems | The SPES 2020 Methodology | Klaus Pohl (u. a.) | Taschenbuch | xii | Englisch | 2014 | Springer | EAN 9783642439926 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Mathematical Methods in Program Development | Manfred Broy (u. a.) | Taschenbuch | x | Englisch | 2011 | Springer | EAN 9783642645884 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. Software Pioneers | Contributions to Software Engineering | Manfred Broy (u. a.) | Taschenbuch | iv | Englisch | 2014 | Springer | EAN 9783642639708 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Design Thinking for Software Engineering | Creating Human-oriented Software-intensive Products and Services | Jennifer Hehn (u. a.) | Taschenbuch | Progress in IS | xxi | Englisch | 2023 | Springer | EAN 9783030905965 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Condition: Neu. agendaCPS | Integrierte Forschungsagenda Cyber-Physical Systems | Eva Geisberger (u. a.) | Taschenbuch | 297 S. | Deutsch | 2012 | Springer | EAN 9783642290985 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: Versandantiquariat Felix Mücke, Grasellenbach - Hammelbach, Germany
hardcover. Condition: Sehr gut. 211 Seiten; Artikel stammt aus Nichtraucherhaushalt! D17432 Sprache: Deutsch Gewicht in Gramm: 1.
Taschenbuch. Condition: Neu. VDI-Lexikon Informatik und Kommunikationstechnik | Manfred Broy (u. a.) | Taschenbuch | xi | Deutsch | 2012 | Springer | EAN 9783642468469 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: preigu, Osnabrück, Germany
Buch. Condition: Neu. Advanced Model-Based Engineering of Embedded Systems | Extensions of the SPES 2020 Methodology | Klaus Pohl (u. a.) | Buch | xii | Englisch | 2016 | Springer | EAN 9783319480022 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Buch. Condition: Neu. Einführung in die Softwaretechnik | Manfred Broy (u. a.) | Buch | xx | Deutsch | 2021 | Springer Vieweg | EAN 9783662502624 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Seller: preigu, Osnabrück, Germany
Buch. Condition: Neu. 50 Jahre Universitäts-Informatik in München | Arndt Bode (u. a.) | Buch | x | Deutsch | 2017 | Springer | EAN 9783662547113 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.