VERIFICATION OF SEQUENTIAL AND CONCURRENT PROGRAMMING (2ND ED)
SPRINGER VERLAG - NEW YORK - 9780387948966
Ficha técnica
Editorial: Springer Verlag - New York
ISBN: 9780387948966
Número de páginas: 366
Encuadernación: Tapa dura
Fecha de lanzamiento: 02/09/1997
Plaza de edición: Nueva York 1997
Especificaciones del producto
Escrito por KRZYSZTOF R. APT y ERNST RUDIGER OLDEROG
Opiniones sobre VERIFICATION OF SEQUENTIAL AND CONCURRENT PROGRAMMING (2ND ED)
¡Sólo por opinar entras en el sorteo mensual de tres tarjetas regalo valoradas en 20€*!
