International Refinement Workshop & Formal Methods Pacific '98: proceedings ; 29 September - 2 October 1998, Canberra, Australia
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Refinement Workshop and Formal Methods Pacific Canberra (VerfasserIn)
Weitere Verfasser: Grundy, Jim (HerausgeberIn)
Format: Tagungsbericht Buch
Sprache:Undetermined
Veröffentlicht: Singapore ; Berlin <<[u.a.]>> Springer 1999
Schlagworte:
Beschreibung:VIII, 380 S. graph. Darst.
ISBN:9814021164

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!