Correctness preserving program refinements: Proof theory and applications (Mathematical Centre tracts) - Couverture souple

Back, R. J. R

9789061962076: Correctness preserving program refinements: Proof theory and applications (Mathematical Centre tracts)

Couverture souple

ISBN 10 : 9061962072 ISBN 13 : 9789061962076

Editeur : Mathematisch centrum, 1980

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 19,95

0 Neuf

European Book

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Mathematisch centrum
Date d'�dition: 1980
Langue: anglais
ISBN 10: 9061962072
ISBN 13: 9789061962076
Reliure: Paperback
Nombre de pages: 118
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

R�sultats de recherche pour Correctness preserving program refinements: Proof theory...

Image fournie par le vendeur

Correctness Preserving Program Refinements: Proof Theory and Applications

Back, R.J.R.:

Edit� par Mathematisch Centrum, 1980

ISBN 10 : 9061962072 ISBN 13 : 9789061962076

Ancien ou d'occasion Broschiert

Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Broschiert. Etat : Gut. 118 Seiten; Das hier angebotene Buch stammt aus einer teilaufgel�sten wissenschaftlichen Bibliothek und tr�gt die entsprechenden Kennzeichnungen (R�ckenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 280. N� de r�f. du vendeur 2016195

Contacter le vendeur

Acheter D'occasion

EUR 19,95

Exp�dition �EUR 7,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier