Computation and Reasoning: A Type Theory for Computer Science (International Series of Monographs on Computer Science)

Zhaohui Luo

ISBN 10: 0198538359 ISBN 13: 9780198538356

Editorial: Clarendon Press, 1994

Idioma: Ingl�s

Usado Condici�n: Like New Encuadernaci�n de tapa dura

Guardar para m�s tarde

Librer�a: Mispah books, Redhill, SURRE, Reino Unido

Calificaci�n del vendedor: 4 de 5 estrellas

Vendedor de AbeBooks desde 15 de abril de 2021

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Precio: EUR 177,47 Convertir moneda

EUR 29,30 gastos de env�o desde Reino Unido a Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Like New. N� de ref. del art�culo ERICA77301985383596

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Computation and Reasoning: A Type Theory for...

Editorial: Clarendon Press

A�o de publicaci�n: 1994

Encuadernaci�n: Hardcover

Condici�n: Like New

Tipo de libro: book

Acerca de

Sinopsis:

Book by Zhaohui Luo

Cr�ticas:

a comprehensive account of ... one particular type theory, The Extended Calculus of Constructions ... I found this to be a well written, thorough and enjoyable account of the ECC ... I recommend Computation and Reasoning wholeheartedly. (The Computer Journal, Vol 37, No 6, 1994)

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Ver la p�gina web de la librer�a