Name: Abstract State Machines: A Method for High-Level System Design and Analysis (en Inglés)
Price: 65.02 USD
Availability: InStock
Author: Egon Börger; Robert Stärk
ISBN: 9783642621161

portada Abstract State Machines: A Method for High-Level System Design and Analysis (en Inglés)

Abstract State Machines: A Method for High-Level System Design and Analysis (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Egon Börger; Robert Stärk

Idioma

Inglés

N° páginas

438

Encuadernación

Tapa Blanda

ISBN13

9783642621161

N° edición

Abstract State Machines: A Method for High-Level System Design and Analysis (en Inglés)

Egon Börger; Robert Stärk (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 108.36$ 65.02

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 65.02

Llega entre el 04 Sep y el 17 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Abstract State Machines: A Method for High-Level System Design and Analysis (en Inglés)"

Written for hardware-software system engineers, researchers and students, this text introduces a systems engineering method that guides the development of software and embedded hardware-software systems seamlessly from requirements capture to their implementation. It helps the designer to cope with the three stumbling-blocks 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 real-world examples and case studies.