Program development by refinement
case studies using the B method
Sekerinski, Emil 1998 Springer
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/953688429
- Titel
- Program development by refinement : case studies using the B method
- Art des Inhalts
- Monographie
- Verfassangaben
- E. Sekerinski and K. Sere (ed.)
- Autor
- Sekerinski, Emil
- Verlag
- London : Springer [1998]
- Jahr
- Erscheinungsdatum: 1998
- Umfang/Format
- XXIV, 334 S.
- ISBN/Einband/Preis
1852330538- Online
- https://d-nb.info/953688429/04
- Sprache
- eng
- Sachgruppe(n)
- Schlagwörter
- Anmerkungen
- Literaturverz. S. 323 - 326
- Stand
- 29.06.2024 07:50
- Im Katalog seit
- 06.03.2026