Name: high level transition systems of csp specifications
Price: 75.09 EUR
Availability: InStock
Author: markus dahlweid
ISBN: 9783639009729

portada 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

75,09 €

79,04 €

Ahorras: 3,95 €

5% descuento

Envío normal

Se enviará desde nuestra bodega entre el Viernes 14 de Junio y el Martes 18 de Junio.

Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.

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 ...