Logic in Computer Science: Modelling and Reasoning about Systems

Valutazione media 3,76
( su 42 valutazioni fornite da 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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

Edizione Internazionale
Edizione Internazionale

1.

Michael Huth; Mark Ryan
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Paperback Quantità: > 20
Edizione Internazionale
Da
US_Superfast_Bookstore
(New Castle, DE, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: 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. Codice libro della libreria U_9780521543101

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 14,42
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,27
In U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

2.

RyAN
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Brossura Quantità: 20
Edizione Internazionale
Da
bookscollection
(Delhi, DELHI, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: 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. Codice libro della libreria ABECMBRD*7623

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 17,01
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,59
Da: India a: U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

3.

Huth, Michael; Ryan, Mark
Editore: Cambridge University Press
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Brossura Quantità: > 20
Edizione Internazionale
Da
Sunshine Book Store
(Wilmington, DE, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Condizione libro: 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. Codice libro della libreria HU_9780521543101

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 22,82
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

4.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Quantità: 5
Edizione Internazionale
Da
firstbookstore
(New Delhi, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Brand New Paperback International Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Codice libro della libreria AIND-11886

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 22,87
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

5.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Quantità: 2
Edizione Internazionale
Da
Bookshub
(Karol Bagh, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. New. International edition. Different ISBN and Cover image but contents are same as US edition. Perfect condition. Customer satisfaction our priority. Codice libro della libreria ABE-FEB-49894

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,75
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

6.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Quantità: 2
Edizione Internazionale
Da
EBOOKSTORE2010
(New Delhi, ND, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. New. SoftCover International edition. Different ISBN and Cover image but contents are same as US edition. Customer Satisfaction guaranteed!!. Codice libro della libreria SHUB49894

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,79
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

7.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Softcover Quantità: 3
Edizione Internazionale
Da
Unique Bookseller
(Delhi, India)
Valutazione libreria
[?]

Descrizione libro Softcover. Condizione libro: 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!. . Codice libro della libreria UBS01537

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,92
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

8.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Paperback Quantità: 5
Edizione Internazionale
Da
PRIORITY BOOKS
(springfield, VA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. Softcover Book, New Condition, Fast Shipping. Ready in Stock. 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. Codice libro della libreria 329798

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 21,50
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

9.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Paperback Quantità: 1
Edizione Internazionale
Da
Nick Book House
(fresno, CA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. New, Softcover International Edition, Printed in Black and White, Only USPS Media mail Shipping ONLY, Different ISBN, Same Content As US edition, Book Cover may be Different, in English Language. Codice libro della libreria 15837

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 21,52
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

10.

Huth
ISBN 10: 052154310X ISBN 13: 9780521543101
Nuovi Brossura Quantità: 5
Edizione Internazionale
Da
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Brand New Paperback International Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Codice libro della libreria AUSBNEW-11886

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 25,03
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro