Verlag: Bistum Mainz Publikationen / Echter Verlag, Würzburg,, 2014
Sprache: Deutsch
Anbieter: Clerc Fremin, Steingaden, Deutschland
Softcover. 104 Seiten Zustand: keine Beschädigungen, keine Eintragungen. Rücken, Ecken, Kanten sehr gut. Sprache: Deutsch Gewicht in Gramm: 150.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 51,86
Anzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Verlag: Breitbrunn (Chiemgauer Verlagshaus) 2011, 2011
ISBN 10: 3981362047 ISBN 13: 9783981362046
Sprache: Deutsch
Anbieter: Versandantiquariat Rainer Wölfel, Wörthsee, Deutschland
. 213 S. Pbd. Sprache: Deutsch Gewicht in Gramm: 900.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 57,54
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 3642244300 ISBN 13: 9783642244308
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,26
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2011 edition. 271 pages. 9.00x6.00x0.50 inches. In Stock.
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642162762 ISBN 13: 9783642162763
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,45
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 385 pages. 9.20x6.10x0.90 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 86,54
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 819 pages. 9.25x6.10x1.80 inches. In Stock.
ISBN 10: 3952478407 ISBN 13: 9783952478400
Sprache: Englisch
Anbieter: INGARDIO, Schupfart, Schweiz
Zustand: Neu. Gebundene Ausgabe.
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642162762 ISBN 13: 9783642162763
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
Zustand: New.
Taschenbuch. Zustand: Neu. Model-Driven Engineering Languages and Systems | 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings | Ana Moreira (u. a.) | Taschenbuch | xxviii | Englisch | 2013 | Springer-Verlag GmbH | EAN 9783642415326 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642415326 ISBN 13: 9783642415326
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.
Verlag: Springer, Berlin, Springer Berlin Heidelberg, Springer, 2011
ISBN 10: 3642244300 ISBN 13: 9783642244308
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Verlag: Springer, Berlin, Springer Berlin Heidelberg, Springer, 2010
ISBN 10: 3642162762 ISBN 13: 9783642162763
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware - Thetopicof'Model-BasedEngineeringofReal-TimeEmbeddedSystems'brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri cation, con guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642415326 ISBN 13: 9783642415326
Sprache: Englisch
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Zustand: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Gut. Zustand: Gut | Sprache: Deutsch | Produktart: Bücher.
Verlag: Breitbrunn : Chiemgauer Verl.-Haus, 2011
ISBN 10: 3981362047 ISBN 13: 9783981362046
Sprache: Deutsch
Anbieter: Chiemgauer Internet Antiquariat GbR, Altenmarkt, BAY, Deutschland
Erstausgabe
Originalpappband. Zustand: Wie neu. ERSTAUSGABE. 213 Seiten. Mit zahlreichen farbigen Abbildungen. 31 cm, FRISCHES, SEHR schönes Exemplar der ERSTAUSGABE. (Wir bieten zahlreiche Titel aus diesem Sachgebiet an - We offer a lot of books in this field) Sprache: Deutsch Gewicht in Gramm: 1548.