Formal Specification Level - 9783319378824-image

Formal Specification Level - 9783319378824

$ 52.19

ISBN: 9783319378824 Book Title: Formal Specification Level Country of Origin: United States gtin13: 9783319378824

Description

Formal Specification Level Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). Concepts, Methods, and Algorithms Author(s): Mathias Soeken, Rolf Drechsler Format: Paperback Publisher: Springer International Publishing AG, Switzerland Imprint: Springer International Publishing AG ISBN-13: 9783319378824, 978-3319378824 Synopsis This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, [url] whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.

  1. Good seller, ⭐️⭐️⭐️⭐️⭐️ item as described, packaging average, delivery was a huge disappointment as it was thrown at my front door by an AMAZON driver. I purchased via eBay to avoid AMAZON, now they are involved leaving our eBay purchases on our doorsteps. I do have cctv of the driver throwing my package. I brought the poor delivery to the attention of the seller who advised they would contact the delivery organisation concerned about the breach in their delivery instructions.

    Relatively Uncertain

  2. Item was dispatched within promised time frame but unfortunately Royal Mail left the package out in the rain without ringing the bell. As the book was not protected by plastic it was damaged by the rain. However the seller responded immediately and refunded payment once the book was dropped off at post office. Recommended seller, would use again but maybe waterproof packaging if affordable would be better.

    user4413980b

  3. I cannot yet comment on the book's contents, although they look comprehensive, in particular the photographs. The book is as advertised - new - and high quality. Itv was competitively priced and well packaged. Dispatch was rather slower than usual for e-bay, even allowing for Christmas, but once posted, the courier service was quick and efficient. Communications were good throughout.

    AstroM28866f

Related products