Program development by refinement: case studies using the B method
London [u.a.]: Springer, 1999
Sammelwerk, Gedruckte Ressource
- XXIV, 334 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Program development by refinement: case studies using the B method
|
---|---|
Verantwortlichkeitsangabe: | E. Sekerinski ... (eds) |
Autor/in / Beteiligte Person: | Sekerinski, Emil (1963-) |
Verwandtes Werk: | |
Veröffentlichung: | London [u.a.]: Springer, 1999 |
Medientyp: | Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XXIV, 334 S. : graph. Darst. |
ISBN: | 1852330538 kart. : DM 129.00 |
Schlagwort: |
|
Sonstiges: |
|