Name: high level transition systems of csp specifications
SKU: 3487190
Price: 74.56 USD
Availability: InStock
Author: markus dahlweid

Selecciona tu país

América

Europa

Resto del mundo

portada high level transition systems of csp specifications

high level transition systems of csp specifications

Formato

Libro Físico

Editorial

vdm verlag dr. mueller e.k.

Autor

markus dahlweid

N° páginas

460

ISBN

363900972X

ISBN13

9783639009729

Categorías

Ciencias de la computación

high level transition systems of csp specifications

Markus Dahlweid (Autor) · vdm verlag dr. mueller e.k. · Libro Físico

Libro Nuevo Importado

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

$ 149.11$ 74.56

-50%

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

Libro Nuevo

Quedan 40 unidades

$ 74.56

Llega entre el 14 Sep y el 24 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "high level transition systems of csp specifications"

state of the art quality assurance for safety critical software systems requires formal methods for verification and testing. one of the drawbacks using formal methods to model large systems is the state explosion of transition systems generated from ...