˜Theœ unified computation laboratory : modelling, specifications, and tools ; based on the proceedings of a conference on The Unified Computation Laboratory, organized by the Institute of Mathematics and its Applications and held at the University of Stirling in July 1990

˜Theœ unified computation laboratory modelling, specifications, and tools ; based on the proceedings of a conference on The Unified Computation Laboratory, organized by the Institute of Mathematics and its Applications and held at the University of Stirling in July 1990

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Institute of Mathematics and Its Applications (BerichterstatterIn)
Weitere Verfasser: Rattray, Charles (BerichterstatterIn)
Format: UnknownFormat
Sprache:und
Veröffentlicht: Oxford Clarendon Press 1992
Schriftenreihe:Institute of Mathematics and Its Applications: ˜Theœ Institute of Mathematics and its Applications conference series / New series 35
Schlagworte:
Softwareentwicklung > Softwarespezifikation > Formalisierung > Softwaresystem > Modellierung > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!