Logic in Computer Science: Modelling and Reasoning about Systems

3,74 valoración promedio
( 43 valoraciones por Goodreads )
 
9780521543101: Logic in Computer Science: Modelling and Reasoning about Systems

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8

"Sinopsis" puede pertenecer a otra edición de este libro.

Book Description:

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections. The coverage of model-checking has been substantially updated. Further exercises have been added. Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students.

From the Author:

The paperback and hardback textbook are supplemented with an on-line tutor at Logic in Computer Science

Ancillary material for instructors and readers can be found on-line at Logic in Computer Science

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

Los mejores resultados en AbeBooks

Edición internacional
Edición internacional

1.

Michael Huth; Mark Ryan
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Paperback Cantidad: > 20
Edición internacional
Librería
Bookstore99
(Wilmington, DE, Estados Unidos de America)
Valoración
[?]

Descripción Paperback. Estado de conservación: NEW. This is an International Edition. Brand New Paperback- Same Title Author and Edition as listed. ISBN and Cover design differs. Similar Contents as U.S Edition. Delivery within 3-7 business days ACROSS THE GLOBE. We can ship to PO Box address in US. International Edition Textbooks may bear a label "Not for sale in the U.S. or Canada" or "For sale in Asia only" or similar restrictions- printed only to discourage students from obtaining an affordable copy. US Court has asserted your right to buy and use International edition. Access code/CD may not provided with these editions. We may ship the books from multiple warehouses across the globe including Asia depending upon the availability of inventory. Printed in English. Customer satisfaction guaranteed. Choose expedited shipping for Express delivery. Tracking number provided for every order. Nº de ref. de la librería RU_9780521543101

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 15,96
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,54
A Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

2.

Huth, Michael; Ryan, Mark
Editorial: Cambridge University Press
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Tapa blanda Cantidad: 20
Edición internacional
Librería
Sunshine Book Store
(Wilmington, DE, Estados Unidos de America)
Valoración
[?]

Descripción Cambridge University Press. Estado de conservación: New. 052154310X This is an International Edition. Brand New, Paperback, Delivery within 6-14 business days, Similar Contents as U.S Edition, ISBN and Cover design may differ, printed in Black & White. Choose Expedited shipping for delivery within 3-8 business days. We do not ship to PO Box, APO , FPO Address. In some instances, subjects such as Management, Accounting, Finance may have different end chapter case studies and exercises. International Edition Textbooks may bear a label "Not for sale in the U.S. or Canada" and "Content may different from U.S. Edition" - printed only to discourage U.S. students from obtaining an affordable copy. The U.S. Supreme Court has asserted your right to purchase international editions, and ruled on this issue. Access code/CD is not provided with these editions , unless specified. We may ship the books from multiple warehouses across the globe, including India depending upon the availability of inventory storage. Customer satisfaction guaranteed. Nº de ref. de la librería HU_9780521543101

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 18,52
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

3.

RyAN
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Tapa blanda Cantidad: 20
Edición internacional
Librería
bookscollection
(Delhi, DELHI, India)
Valoración
[?]

Descripción Estado de conservación: Brand New. PAPERBACK,Book Condition New, International Edition. We Do not Ship APO FPO AND PO BOX. Cover Image & ISBN may be different from US edition but contents as US Edition. Printing in English language.NO CD AND ACCESS CODE. Quick delivery by USPS/UPS/DHL/FEDEX/ARAMEX ,Customer satisfaction guaranteed. We may ship the books from Asian regions for inventory purpose. Nº de ref. de la librería ABECAMBRD*##6954

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 16,67
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,50
De India a Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

4.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Cantidad: 2
Edición internacional
Librería
firstbookstore
(New Delhi, India)
Valoración
[?]

Descripción Estado de conservación: Brand New. Brand New Paperback International Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Nº de ref. de la librería AIND-11886

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 23,31
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

5.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Softcover Cantidad: 3
Edición internacional
Librería
Unique Bookseller
(Delhi, India)
Valoración
[?]

Descripción Softcover. Estado de conservación: Brand New. .. Black & White or color International Edition. ISBN and front cover may be different, but contents are same as the US edition. Book printed in English. Territorial restrictions may be printed on the book. GET IT FAST within 3-5 business days by DHL/FedEx/Aramex and tracking number will be uploaded into your order page within 24-48 hours. Kindly provide day time phone number in order to ensure smooth delivery. No shipping to PO BOX, APO, FPO addresses. 100% Customer satisfaction guaranteed!. . Nº de ref. de la librería UBS01537

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 23,69
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

6.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Cantidad: 2
Edición internacional
Librería
Bookshub
(Karol Bagh, India)
Valoración
[?]

Descripción Estado de conservación: New. New. International edition. Different ISBN and Cover image but contents are same as US edition. Perfect condition. Customer satisfaction our priority. Nº de ref. de la librería ABE-FEB-50620

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 24,17
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

7.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Cantidad: 2
Edición internacional
Librería
EBOOKSTORE2010
(New Delhi, ND, India)
Valoración
[?]

Descripción Estado de conservación: Brand New. New. SoftCover International edition. Different ISBN and Cover image but contents are same as US edition. Customer Satisfaction guaranteed!!. Nº de ref. de la librería SHUB50620

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 24,21
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

8.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Cantidad: 1
Edición internacional
Librería
Bookshub
(Karol Bagh, India)
Valoración
[?]

Descripción Estado de conservación: New. New. International edition. Different ISBN and Cover image but contents are same as US edition. Perfect condition. Customer satisfaction our priority. Nº de ref. de la librería ABE-FEB-50621

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 24,81
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

9.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Cantidad: 1
Edición internacional
Librería
EBOOKSTORE2010
(New Delhi, ND, India)
Valoración
[?]

Descripción Estado de conservación: Brand New. New. SoftCover International edition. Different ISBN and Cover image but contents are same as US edition. Customer Satisfaction guaranteed!!. Nº de ref. de la librería SHUB50621

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 24,85
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío
Edición internacional
Edición internacional

10.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Tapa blanda Cantidad: 2
Edición internacional
Librería
Romtrade Corp.
(STERLING HEIGHTS, MI, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Brand New Paperback International Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Nº de ref. de la librería AUSBNEW-11886

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 25,46
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda