Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems

3,78 valoración promedio
( 41 valoraciones por Goodreads )
 
9780521543101: Logic in Computer Science 2nd Edition Paperback: Modelling and Reasoning About Systems

This second edition 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 and exercises. The coverage of model-checking has been substantially updated.

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

Críticas:

'… an unusual, inspiring and remarkable book … one can find in it all the material which is suitable for undergraduate and beginning graduate students in computer science and electrical engineering who will profit by using it in their professional activities in the near future.' Zentralblatt MATH

'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.' Phinews

'This book provides an elegant introduction to formal reasoning that is relevant to computation science. This second edition improves the first one with extra and expanded sections on temporal logic model checking, SAT solvers, second-order logic, the Alloy specification language, and programming by contract. The material is up-to-date and practical …' Zentralblatt MATH

Sinopsis:

Book by Huth Michael Ryan Mark

"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.

Huth; Ryan
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Paperback Cantidad: > 20
Edición internacional
Librería
US_Superfast_Bookstore
(New Castle, 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. Standard Delivery within 6-14 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. Nº de ref. de la librería UA9780521543101

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

Comprar nuevo
EUR 14,66
Convertir moneda

Añadir al carrito

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

2.

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

Descripción Paperback. Estado de conservación: New. International Edition. FAST DELIVERY International Edition, softcover, we ship all item within 48 hours by DHL/Fedex/Aramex/UPS/USPS for quick delivery. Cover or ISBN might be different from US edition but Contents are same as US Edition, Black and White print, No access code or DVD, buy with confidence, customer satisfaction is our priority. No APO/FPO Address Please. Nº de ref. de la librería TAAP*9780521543101

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

Comprar nuevo
EUR 19,56
Convertir moneda

Añadir al carrito

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

3.

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 SU9780521543101

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

Comprar nuevo
EUR 22,90
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

4.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Cantidad: 5
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 24,01
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 Cantidad: 2
Edición internacional
Librería
Bookshub
(Karol Bagh, India)
Valoración
[?]

Descripción Estado de conservación: New. New. International edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Nº de ref. de la librería ABE-FEB-40408

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

Comprar nuevo
EUR 24,93
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
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 SHUB40408

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

Comprar nuevo
EUR 24,99
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: 3
Edición internacional
Librería
Bookshub
(Karol Bagh, India)
Valoración
[?]

Descripción Estado de conservación: New. New. International edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Nº de ref. de la librería ABE-FEB-40409

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

Comprar nuevo
EUR 25,62
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: 3
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 SHUB40409

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

Comprar nuevo
EUR 25,66
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 Tapa blanda Cantidad: 5
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 26,28
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

10.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuevos Paperback Cantidad: 5
Edición internacional
Librería
PRIORITY BOOKS
(springfield, VA, Estados Unidos de America)
Valoración
[?]

Descripción Paperback. Estado de conservación: New. Softcover Book, Condition: New. 1st Edition. [Please Read Carefully Before Buying], This Is An International Edition. Printed In Black and White. , Book Cover And ISBN No May Be Different From US Edition. Restricted Sales Disclaimer Wordings Not For Sales In USA And Canada May Be Printed On The Cover Of The Book. Standard Shipping 7-14 Business Days. Expedited Shiping 4-8 Business Days. ***WE DO NOT ENTERTAIN BULK ORDERS.*** The Books May Be Ship From Overseas For Inventory Purpose. Nº de ref. de la librería 329798

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

Comprar nuevo
EUR 23,05
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,56
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