Holger Giese (92 results)

Condition: Wie neu. Auflage: 2008. 340 Seiten DE-10-06 Sprache: Englisch Gewicht in Gramm: 518 8° 1,5 x 2,0 x 23,5 cm, Taschenbuch.

Paperback. Condition: Very Good. Michel, der kleine Haiforscher: Geschichten aus der Unterwasserwelt This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . …

Paperback. Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.

Paperback. Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.

Condition: New.

Condition: New.

Condition: New.

Condition: New.

Paperback or Softback. Condition: New. Formal Techniques for Distributed Systems: Joint 14th Ifip Wg 6.1 International Conference, Fmoods 2012 and 32nd Ifip Wg 6.1 International Conference. Book.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: New.

Paperback. Condition: new. Paperback. Architecting critical systems has gained major importance in commercial, governmental, and industrial sectors. Emerging software applications encompass practicalities that are associated with either the whole system or some of its components. Therefore, effective methods, techniques, and tools for constructing, testing, analyzing, and evaluating the architectures for critical systems are of major importance. Furthermore, these methods, techniques, and tools must address issues of dependability and security, while focusing not only on the development, but also on the deployment and evolution of the architecture. This newly established ISARCS symposium provided an exclusive forum for exchanging views on the theory and practice for architecting critical systems. Such systems are characterized by the perceived severity of consequences that faults or attacks may cause, and architecting them requires appropriate means toassure that they will fulfill their specified services in a dependable and secure manner. The different attributes of dependability and security cannot be considered in isolation for todays critical systems, as architecting critical systems essentially means finding the right trade-off among these attributes and the various other requirements imposed on the system. This symposium therefore brought together the four communities working on dependability, safety, security, and testing/analysis, each addressing to some extent the architecting of critical systems from their specific perspective. To this end, the symposium united the following three former events: the Workshop on Architecting Dependable Systems (WADS); the Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA); and the Workshop on Views on Designing Complex Architectures. The different attributes of dependability and security cannot be considered in isolation for todays critical systems, as architecting critical systems essentially means finding the right trade-off among these attributes and the various other requirements imposed on the system. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. …

Paperback. Condition: 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.…

Condition: New.

Condition: New. In English.

120 S. -TEXT IN ENGLISH- Sprache: Englisch Gewicht in Gramm: 450 4to. Softcover, no dust jacket, very fine.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New.

Condition: New. In English.

Condition: New. In English.

Condition: New. In English.

Condition: New. In English.

Condition: New.

Condition: New. pp. 300.

Condition: As New. Unread book in perfect condition.

Condition: New. pp. x + 322 1st Edition.