Foundations of Computing: System Development With Set Theory and Logic (International Computer Science Series)

Scheurer, Thierry"

ISBN 10: 0201544296 ISBN 13: 9780201544299

Editorial: Addison-Wesley, 1994

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por BooksByLisa, Highland Park, IL, Estados Unidos de America

Vendedor de AbeBooks desde 27 de septiembre de 2022

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa blanda

Condici�n: Nuevo

Precio: EUR 19,78 Convertir moneda

EUR 33,38 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book.

N� de ref. del art�culo 961

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Foundations of Computing: System Development With Set Theory and Logic (International Computer Science Series)

Editor

Addison-Wesley

Fecha de publicaci�n

1994

Idioma

Ingl�s

ISBN 10

0201544296

ISBN 13

9780201544299

Encuadernaci�n

Soft cover

Edici�n

First Edition.

Estado

New

Cat�logos de vendedores

Acerca de

Sinopsis

Set theory and logic are the twin pillars of computing science. Their mastery is an essential part of the software engineer's education. This book provides a clear introduction to the key ideas of these two subjects and shows how they can be applied successfully in formal system development. Highlights of the book include: * A presentation of set theory as a modelling language of universal applicability * A wealth of practical examples demonstrating the remarkable simplicity and naturalness of set theory as a description tool * A description of logic as a formal language, and as a simple way of introducing the key concepts of formal syntax, semantics and deduction calculus * A practical methodology of system development based on set theory and illustrated by several substantial case studies The book starts from first principles and requires no prior knowledge of mathematics. It will be equally valuable for students of computing science and software engineers wishing to develop the skills required to apply formal methods successfully.

Rese�a del editor

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

Descripci�n de la librer�a

My Bookstore has a wide variety of books, both new and used.. all in quality condition as described

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

BooksByLisa
IL, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Lisa Savin: 847-274-4830
19499 Cedar Glen Dr Boca Raron, FL. 33434
8 Ridge Road Highland Park, IL. 60035

Media Shipling is 3.99 per book and .09 per lb book over 1lb. Pack and ship by 3-5 days. only Priority Service as option is $8.00 plus .09 per lb over 1lb

Sellers are required to accept returns, when initiated within 30 days of the estimated delivery date, for all reasons under AbeBooks' Return Policy. Refund amounts are based on the return reason. If the return reason cannot be determined, ...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

no insurancd ofher the THE USPS $50 inless requested and paid by buyer

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 25 a 45 d�as h�biles	De 8 a 14 d�as h�biles
Primer art�culo	EUR 33.38	EUR 53.93

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor