|
@Book{Abrial96,
author = {J.-R. Abrial},
title = {The {B}-Book, Assigning programs to meanings},
publisher = {Cambridge University Press},
year = {1996},
note = {ISBN 0521 49619 5 (hardback)}
}
@Book{Fitzgerald&98,
author = {John Fitzgerald and Peter Gorm Larsen},
title = {Modelling Sytems, Practical Tools and Techniques},
publisher = {Cambridge University Press},
year = {1998},
note = {ISBN 0521 626056 (hardback)}
}
@Book{Jones90,
author = {Jones, Cliff B.},
title = {Systematic Software Development Using {VDM}},
publisher= {Prentice-Hall},
series= {Series in Computer Science},
year= {1990},
edition = {2nd.}
}
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
