Articoli correlati a Logic in Computer Science: Modelling and Reasoning...
Sinossi
Introduction to logic and the logical frameworks used in modelling, specifying and verifying computer systems.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recensione
'This is an excellent textbook on logic and formal methods which is very suitable for computer science students... discusses the whole range from logic to applications: propositional and predicate logic, temporal logic and more generally model logic, program verification, model checking, and symbolic model checking using binary decision diagrams ... As any good textbook, this book is not only to be recommended for students but for anyone who is interested in applications of logic in computer science.' Theory and Practice of Logic Programming
'... 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.' Marat M. Arslanov, Zentralblatt MATH
Descrizione del libro
This is a sound introduction to logic and the logical frameworks used in modelling, specifying and verifying computer systems. It provides a simple and clear presentation of a carefully chosen core of essential terminology: further technicalities are introduced only where they are required by the applications. Numerous examples are given, and web support is available from http:www.cs.bham.ac.uk/research/lics.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Logic in Computer Science: Modelling and Reasoning...
Foto dell'editore
Logic in Computer Science: Modelling and Reasoning about Systems
Editore:
Cambridge University Press, 1999
ISBN 10: 0521656028
ISBN 13: 9780521656023
Antico o usato
Paperback
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Logic in Computer Science: Modelling and Reasoning about Systems This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Codice articolo 7719-9780521656023
Compra usato
EUR 4,95
Spedizione EUR 4,81
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic in Computer Science: Modelling and Reasoning about Systems
Editore:
Cambridge University Press (edition ), 1999
ISBN 10: 0521656028
ISBN 13: 9780521656023
Antico o usato
Paperback
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Codice articolo 0521656028-11-1
Compra usato
EUR 11,50
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic in Computer Science: Modelling and Reasoning about Systems
Editore:
Cambridge University Press, 1999
ISBN 10: 0521656028
ISBN 13: 9780521656023
Antico o usato
Brossura
Da: Zoom Books East, Glendale Heights, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: good. Book is in good condition and may include underlining highlighting and minimal wear. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Codice articolo ZEV.0521656028.G
Compra usato
EUR 11,71
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic in Computer Science: Modelling and Reasoning about Systems
Editore:
Cambridge University Press, 1999
ISBN 10: 0521656028
ISBN 13: 9780521656023
Antico o usato
Paperback
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0521656028I4N00
Compra usato
EUR 13,52
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic in Computer Science: Modelling and Reasoning about Systems
Editore:
Cambridge University Press 09/12/1999, 1999
ISBN 10: 0521656028
ISBN 13: 9780521656023
Antico o usato
Paperback
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Codice articolo 6545-9780521656023
Compra usato
EUR 7,57
Spedizione EUR 8,15
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic in Computer Science: Modelling and Reasoning About Systems
Editore:
Cambridge University Press, 1999
ISBN 10: 0521656028
ISBN 13: 9780521656023
Antico o usato
Brossura
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. Clean from markings. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9780521656023. Codice articolo 9482411
Compra usato
EUR 5,23
Spedizione EUR 15,88
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili