Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Atom.sig Sprache: Latech

Original von: VDM^©

@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.36 Sekunden (vorverarbeitet) ¤

Druckansicht unsichere Verbindung
Druckansicht sprechenden Kalenders
in der Quellcodebibliothek suchen

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.