Automatic Verification Methods for Finite State Systems Enlarge image

Automatic Verification Methods for Finite State Systems

Joseph Sifakis
okładka miękka
257 zł

Sprowadzamy na zamówienie


Do koszyka

Opis produktu

Automatic Verification Methods for Finite State Systems - Joseph Sifakis


This volume contains the proceedings of a workshop held in Grenoble in June 1989. The workshop was devoted to the verification of finite state systems. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages.

Szczegóły

Automatic Verification Methods for Finite State Systems

Joseph Sifakis
styczeń 1990
Springer-Verlag GmbH
396
3540521488
9783540521488
235 x 155 x 21

Recenzje

Napisz własną recenzję
Automatic Verification Methods for Finite State Systems - Joseph Sifakis

Historia przeglądania