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

Scheurer, Thierry

ISBN 10: 0201544296 ISBN 13: 9780201544299

Editorial: U.S.A.: Addison-Wesley, 1994

Idioma: Ingl�s

Condici�n: Usado - Aceptable Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Bingo Used Books, Vancouver, WA, Estados Unidos de America

Vendedor de AbeBooks desde 24 de octubre de 2002

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Usado - Aceptable

Precio: EUR 44,08 Convertir moneda

EUR 29,95 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

Trade paperback in good condition.

N� de ref. del art�culo 168864

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

U.S.A.: Addison-Wesley

Fecha de publicaci�n

1994

Idioma

Ingl�s

ISBN 10

0201544296

ISBN 13

9780201544299

Encuadernaci�n

Soft cover

Edici�n

1st Edition

Estado

Good

Cat�logos de vendedores

computers

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

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Bingo Used Books
WA, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

To order book through a secure site back up and click on "add to your basket". Surface mail (Media) is $4.50 and Priority is $6.99. International rates vary depending on size of book and in some instances we may need to request additional funds to cover the cost of shipping a very heavy book internationally. If you are paying by check or money order, please mail to: Bingo Books at 13016 NE 37th Court, Vancouver, WA. 98686. If you happen to receive a book that is not as described you may return i...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

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 11 a 50 d�as h�biles	De 9 a 30 d�as h�biles
Primer art�culo	EUR 29.95	EUR 36.37

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.