Correctness Preserving Program Refinements: Proof Theory and Applications

Back, R.J.R.:

ISBN 10: 9061962072 ISBN 13: 9789061962076

Editorial: Mathematisch Centrum, 1980

Usado Broschiert

Librer�a: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 18 de marzo de 2011

Este libro ya no est� disponible. Sin embargo, AbeBooks ofrece millones de libros. Escriba otros t�rminos de b�squeda a continuaci�n para encontrar ejemplares similares.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

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 ref. del art�culo 2016195

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Correctness Preserving Program Refinements: ...
Editorial: Mathematisch Centrum
A�o de publicaci�n: 1980
Encuadernaci�n: Broschiert
Condici�n: Gut

IberLibro.com es un mercado online donde puede comprar millones de libros antiguos, nuevos, usados, raros y agotados. Le ponemos en contacto con miles de librer�as de todo el mundo. Comprar en IberLibro es f�cil y 100% seguro. Busque un libro, realice el pedido a trav�s de nuestra p�gina con toda confianza y rec�balo directamente de la librer�a.