˜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!
Beschreibung
Beschreibung:XIII, 461 S.
ISBN:0198536844
0-19-853684-4