Formal methods fact file /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Inglés |
| Publicado: |
Chichester :
J. Wiley,
1996
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 00591nam a2200229 4500 | ||
|---|---|---|---|
| 001 | 027763 | ||
| 003 | arbauncb | ||
| 008 | 150429s1996 xxk g 000 0 eng d | ||
| 005 | 20171018130729.0 | ||
| 040 | |a AR-BaUNCB |c AR-BaUNCB | ||
| 245 | 1 | 0 | |a Formal methods fact file / |c Andrew Harry |
| 260 | |a Chichester : |b J. Wiley, |c 1996 | ||
| 020 | |a 0471940062 | ||
| 100 | 1 | |a Harry, Andrew | |
| 082 | 0 | 4 | |a 001.6424 |
| 653 | |a Métodos formales | ||
| 653 | |a UDM | ||
| 653 | |a Z | ||
| 650 | 7 | |a Computación |2 mpirdes | |
| 650 | 7 | |a Lenguajes de computación |2 unescot | |
| 300 | |a 386 p. |c 23 cm | ||
| 999 | |c 27675 |d 27675 | ||