Understanding formal methods /
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | Inglés Francés |
| Publicado: |
London ; New York :
Springer,
c2003.
|
| Materias: | |
| Acceso en línea: | Vista acotada |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 01791cam a22003734a 4500 | ||
|---|---|---|---|
| 001 | 0013252 | ||
| 003 | AR-OvUNE | ||
| 005 | 20251120175904.0 | ||
| 006 | a|||||r|||| 00| 0 | ||
| 007 | ta | ||
| 008 | 251120s2003 enk b 001 0 eng | ||
| 010 | |a 2002030646 | ||
| 020 | |a 1852332476 |q alk. paper | ||
| 020 | |a 9781852332471 |q (alk. paper) | ||
| 040 | |a DLC |c DLC |d DLC | ||
| 041 | 1 | |a eng |h fre | |
| 080 | |a 004.415 |b M756 | ||
| 100 | 1 | |a Monin, Jean François, |d 1960- |9 32442 | |
| 240 | 1 | 0 | |a Introduction aux méthodes formelles. |l English |
| 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. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 500 | |a "... published with the help of the French Ministère de la culture--Centre national du livre." | ||
| 504 | |a Includes bibliographical references (p. [255]-267) and index. | ||
| 505 | |a 1.Motivation -- 2.Introductory exercise -- 3.A presentation of logical tools -- 4.Hoare logic -- 5.Classical logic -- 6.Set-theoretic specifications -- 7.Set theory -- 8.Behavioral specifications -- 9.Deduction systems -- 10.Abstract data types and algebraic specifications -- 11.Type systems and constructive logics -- 12. Using type theory -- Bibliography -- Index | ||
| 650 | 7 | |a INGENIERIA DEL SOFTWARE |9 12433 | |
| 650 | 0 | |a Formal methods (Computer science) |9 32443 | |
| 700 | 1 | |a Hinchey, Michael G. |q (Michael Gerard), |d 1969- |9 32444 | |
| 856 | |u https://read.amazon.com/sample/1852332476?clientId=share |y Vista acotada |z (último acceso: 20/11/2025) | ||
| 942 | |2 udc |c LIB |h 004.415 |6 004415 | ||
| 999 | |c 13252 |d 13252 | ||