Treffer: Refinement calculus
Titel:
Refinement calculus : a systematic introduction / Ralph-Johan Back ; Joakim von Wright
Verantwortlich:
Veröffentlicht:
New York [u.a.] : Springer, 1998
Umfang:
XV, 519 S. : graph. Darst. ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Graduate texts in computer science
Schlagworte:
ISBN:
0387984178