Formal methods Pacific '97: proceedings of FMP '97, 9 - 11 July 1997, Wellington, New Zealand ; [com… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: 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]
Enthält: Literaturangaben

Beteiligte: Groves, Lindsay [Herausgeber:in]
Veranstaltung: FMP Australasian Refinement Workshop New Zealand Formal Program Development Colloquium
Erschienen: Singapore; Berlin; Heidelberg [u.a.]: Springer, 1997
Erschienen in: Springer series in discrete mathematics and theoretical computer science
Umfang: VIII, 320 S; graph. Darst
Sprache: Englisch
ISBN: 981308331X
RVK-Notation: SS 1997 : Veranstaltungsjahr 1997
Schlagwörter: Softwareentwicklung > Formale Methode
Verfeinerung
Entstehung:
Anmerkungen: Literaturangaben

Formal methods Pacific '97