Cargando…
Understanding formal methods /
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | English French |
| Publicado: |
London ; New York :
Springer,
c2003.
|
| Materias: |
MARC
| LEADER | 00000cam a22000002a 4500 | ||
|---|---|---|---|
| 001 | ocm50519264 | ||
| 003 | OCoLC | ||
| 005 | 20150815140422.0 | ||
| 008 | 041013s2003 enk b 001 0 eng | ||
| 010 | |a 2002030646 | ||
| 035 | |a (Sirsi) i9781852332471 | ||
| 040 | |a DLC |c DLC |d UKM |d OHX |d OCLCQ |d BAKER |d BTCTA |d UV# | ||
| 020 | |a 1852332476 | ||
| 020 | |a 9781852332471 | ||
| 041 | 1 | |a eng |h fre | |
| 050 | 4 | |a QA76.6 |b M66 | |
| 082 | 0 | 0 | |a 004/.01/51 |2 21 |
| 100 | 1 | |a Monin, Jean François, |d 1960- | |
| 245 | 1 | 0 | |a Understanding formal methods / |c written and translated by Jean François Monin ; translation editor, Michael G. Hinchey. |
| 260 | |a London ; |a New York : |b Springer, |c c2003. | ||
| 300 | |a xv, 275 p. ; |c 24 cm. | ||
| 500 | |a Esta obra ha sido publicada con la ayuda del French Ministére de la culture--Centre national du livre. | ||
| 504 | |a Incluye bibliografía (p. [255]-267) e índice. | ||
| 650 | 4 | |a Métodos formales (Informática). |9 357901 | |
| 700 | 1 | |a Hinchey, Michael G. |q (Michael Gerard), |d 1969- | |
| 901 | |a Z0 |b UV# | ||
| 902 | |a DGBUV | ||
| 596 | |a 14 | ||
| 942 | |c LIBRO |6 _ | ||
| 999 | |c 173407 |d 173407 | ||