Schätz bernhard (42 risultati)

Condizione: New.

Paperback or Softback. Condizione: New. Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings. Book.

Condizione: New.

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback. Condizione: New. Brand new book, sourced directly from publisher. Dispatch time is 9-10 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

. 213 S. Pbd. Sprache: Deutsch Gewicht in Gramm: 900.

Paperback. Condizione: New. 2011. 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.…

Condizione: New.

Paperback. Condizione: new. Paperback. ThetopicofModel-BasedEngineeringofReal-TimeEmbeddedSystemsbrings 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. ThetopicofModel-BasedEngineeringofReal-TimeEmbeddedSystemsbrings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Taschenbuch. Condizione: Neu. Neuware.

Paperback. Condizione: Brand New. 2011 edition. 271 pages. 9.00x6.00x0.50 inches. In Stock.

Paperback. Condizione: Brand New. 385 pages. 9.20x6.10x0.90 inches. In Stock.

Kartoniert / Broschiert. Condizione: New.

Condizione: New. pp. 822.

Paperback. Condizione: Brand New. 2013 edition. 819 pages. 9.25x6.10x1.80 inches. In Stock.

Taschenbuch. Condizione: Neu. Neuware.

Condizione: New. pp. xv + 384.

Condizione: New. pp. xv + 384 Illus.

Taschenbuch. Condizione: 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 | EAN 9783642415326 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Paperback. Condizione: New. 2011. 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.…

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 820 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.…

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 259 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Condizione: As New. Unread book in perfect condition.