Formal methods Pacific '97 proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand ; [combined conference incorporating the 6th Australasian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium]

Literaturangaben

Gespeichert in:

Bibliographische Detailangaben
Körperschaften:	FMP (BerichterstatterIn), Australasian Refinement Workshop (BerichterstatterIn), New Zealand Formal Program Development Colloquium (BerichterstatterIn)
Weitere Verfasser:	Groves, Lindsay (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Singapore, Berlin, Heidelberg u.a. Springer 1997
Schriftenreihe:	Springer series in discrete mathematics and theoretical computer science
Schlagworte:	Konferenzschrift > Softwareentwicklung > Formale Methode > Verfeinerung
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!