Picture 1 of 1

Stock photo

Abstract State Machines A Method for HighLevel System Design and Analysis (USED) - Picture 1 of 1

Abstract State Machines: A Method for High-Level System Design and Analysis by Egon Boerger, Robert Stark (Paperback, 2013)

plsshipfast (11520)

98.9% positive Feedback

Price:

£61.64

Free postage

Estimated delivery Thu, 14 Aug - Fri, 22 Aug

Returns:

30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

Good

Product Description : Written for hardwaresoftware system engineers researchers and students this text introduces a systems engineering method that guides the development of software and embedded hardwaresoftware systems seamlessly from requirements capture to their implementation It helps the designer to cope with the three stumblingblocks of building modern software based systems size complexity and trustworthiness It covers within a single conceptual framework both design verification by reasoning techniques and experimental validation by simulation and testing The text contains detailed proofs exercises as well as numerous realworld examples and case studies

About this product

Product Information

Quelli che s'innamoran di pratica senza scienzia sono come 'l nocchieri ch'entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada. - Leonardo da Vinci Ich habe oft bemerkt, dass wir uns durch allzuvieles Symbolisieren 2 die Sprache fu ..r die Wirklichkeit untu ..chtig machen. - Christian Morgenstern This is the place to express our thanks. First of all we thank all those who over the years have actively contributed to shaping the novel software design and analysis method explained in this book. They are too numerous to be mentioned here. They all appear in some way or the other on the following pages, in particular in the bibliographical and historical Chap. 9 which can be read independently of the book. We then thank those who have helped with detailed critical comments on the draft chapters to shape the way our arguments are presented in this book: M. B.. orger (Diron Mu ..nster), I. Craggs (IBMHursley),G. DelCastillo(SiemensMunc .. hen),U. Gl. asser(SimonFraser University, Vancouver,Canada),J. Huggins(Kettering University,Michigan, USA), B. Koblinger (IBM Heidelberg), P. Pa ..ppinghaus (Siemens Munc .. hen), A. Preller (Universit' e de Montpellier, France), M. -L. Potet (INP de Gre- ble, France),W. Reisig (Humboldt-Universit. at zu Berlin, Germany),H. Rust (Universit. at Cottbus, Germany), G. Schellhorn (Universit. at Augsburg, G- many), B. Thalheim (Universit. at Cottbus, Germany) and a dozen student generationsat Universita 'di Pisa. We thankM. Barmet(ETH Zur .. ich)for her solutions of the exercises in Chap. 8. We also thank L.