Ralph-Johan Back

Pays :Finlande
Langue :finnois
Note :
Ecrit aussi en anglais
En poste : Department of computer science, Åbo Akademi university, Turku, Finlande (en 1998)
ISNI :ISNI 0000 0000 3251 4293

Ses activités

Auteur du texte1 document

  • Refinement calculus

    a systematic introduction

    Description matérielle : XV-519 p.
    Description : Note : Bibliogr. p. 501-508. Index
    Édition : New York ; Berlin ; Heidelberg : Springer , cop. 1998
    Autre auteur du texte : Joakim von Wright

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb375493183]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • Refinement calculus / Ralph-Johan Back, Joakim von Wright, cop. 1998

Pages équivalentes