Artículos relacionados a Logic, Language, Formalism, Informalism
Sinopsis
This text analyzes and explains the process of formalization in computing and should be useful for students of computer science and software engineering. It sets out to explain proof and reasoning in a clear manner and is based on the premise that computing students require an understanding of the reasoning systems that underpin much computing theory. In examining the process of formalization, the book also criticizes and challenges the results, helping students to clearly understand these fundamental issues. The language, Prolog is used to explain the concepts.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Daniel Richardson is a lecturer in the School of Mathematical Sciences at the University of Bath.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 19,92
EUR 9,17 gastos de envío desde Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envíoResultados de la búsqueda para Logic, Language, Formalism, Informalism
Imagen de archivo
Logic, Language, Formalism, Informalism
Publicado por
Bloomsbury Publishing Plc, 1995
ISBN 10: 1850321272
ISBN 13: 9781850321279
Antiguo o usado
Tapa blanda
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Ships from the UK. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 53229369-20
Gastos de envío:
EUR 9,17
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic, Language, Formalism, Informalism
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Nº de ref. del artículo: Z1-C-090-02607
Gastos de envío:
EUR 12,20
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic, Language, Formalism, Informalism
Librería: La bataille des livres, Pradinas, Francia
Calificación del vendedor: 5 de 5 estrellas
Condición: Très bon. Logic, Language, Formalism, Informalism | D. Richardson | Thompson computer press, 1995. In-8° broché, 246 pages. Couverture propre. Dos solide. Intérieur frais sans soulignage ou annotation. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Très bon état général [NM53]. Nº de ref. del artículo: P3-5WMW-GLQX
Gastos de envío:
EUR 51,00
De Francia a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles