International Refinement Workshop & Formal Methods Pacific '98 proceedings of IRW/FMP '98, 29 September - 2 October 1998, Canberra, Australia

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	International Refinement Workshop and Formal Methods Pacific (VerfasserIn), British Computer Society Specialist Group in Formal Aspects of Computing Science (BerichterstatterIn), Australasian Refinement Workshop (BerichterstatterIn), New Zealand Formal Program Development Colloquium (BerichterstatterIn), British Refinement Workshop (BerichterstatterIn)
Weitere Verfasser:	Grundy, Jim (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Singapore, Berlin, Heidelberg u.a. Springer u.a. 1998
Schriftenreihe:	Springer series in discrete mathematics and theoretical computer science
Schlagworte:	Real-time programming > Congresses > Konferenzschrift > Softwareentwicklung > Verfeinerung > Formale Spezifikationstechnik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!