Couverture : Refinement calculus

Couverture : Open Library

← Fiche de l'œuvre

Refinement calculus

a systematic introduction

Ralph-Johan Back, Joakim von Wright

Détails de l'édition

ISBN-13: 9780387984179
ISBN-10: 0387984178
EAN: 9780387984179
Éditeur: Springer (New York)
Date de publication: 1 janvier 1998
Langue: eng
Pages: 519
Dimensions: 24 cm

Provenance des données

dimensions BnF Catalogue général · 23 juillet 2026
language BnF Catalogue général · 23 juillet 2026
page_count BnF Catalogue général · 23 juillet 2026
publication_date BnF Catalogue général · 23 juillet 2026
subtitle BnF Catalogue général · 23 juillet 2026