Compartir
high level transition systems of csp specifications
Markus Dahlweid (Autor)
·
vdm verlag dr. mueller e.k.
· Libro Físico
high level transition systems of csp specifications - markus dahlweid
$ 308.301
$ 616.601
Ahorras: $ 308.301
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: España
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Lunes 29 de Julio y el
Jueves 08 de Agosto.
Lo recibirás en cualquier lugar de Colombia 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 ...
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
✓ Producto agregado correctamente al carro, Ir a Pagar.
