Edición de la obra Specification of software systems
| Autor | Vangalur S. Alagar |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1998 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 422 |
| ISBN-10 | 0387984305 |
| OCLC | 38853942 |
| LCCN | 98016912 |
| Serie | Graduate texts in computer science · Graduate texts in computer science (Springer-Verlag New York Inc.) |
| Número de Cutter | A316s |
This graduate-level text provides an introduction to software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The book can also be used as a text for a one-semester course on formal methods at the senior undergraduate level. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may be their first encounter with formal specification.