On the Refinement Calculus
Seiten
1994
Springer Berlin (Hersteller)
978-3-540-19809-3 (ISBN)
Springer Berlin (Hersteller)
978-3-540-19809-3 (ISBN)
Lese- und Medienproben
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
A presentation of the research work accomplished at Oxford University on refinement calculus, which traces its rigorous development, from state-based assertional specifications, of executable imperative code. The attempts to bring together Z specifications and Dijkstra's language are discussed.
| Reihe/Serie | FACIT |
|---|---|
| Sprache | englisch |
| Gewicht | 414 g |
| Einbandart | gebunden |
| Schlagworte | Formal Approaches to Computing and Information Technology (FACIT) • Verfeinerung (mathemat.) |
| ISBN-10 | 3-540-19809-1 / 3540198091 |
| ISBN-13 | 978-3-540-19809-3 / 9783540198093 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
