Búsqueda avanzada
AUTOMATIC VERIFICATION OF SEQUENTIAL INFINITE-STATE PROCESSE
SPRINGER NATURE B.V.

AUTOMATIC VERIFICATION OF SEQUENTIAL INFINITE-STATE PROCESSE

OLAF BURKART
17-12-1997
9783540639824
INGLES
im.bajo demanda
PVP
66.81 € IBD

Más libros del autor

AUTOMATIC VERIFICATION OF SEQUENTIAL INFINITE-STATE PROCESSE

SPRINGER NATURE B.V.

AUTOMATIC VERIFICATION OF SEQUENTIAL INFINITE-STATE PROCESSE

OLAF BURKART

9783540639824

66.81€