Logic in Computer Science: Modelling and Reasoning about Systems

Michael Huth

74 valutazioni di Goodreads

Lingua: inglese

Editore: Cambridge University Press, 2004

052154310X / 9780521543101

Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore

Venditore con 5 stelle

Venditore AbeBooks dal 9 ottobre 2009

Brossura

Condizione: Nuovo

EUR 110,26

EUR 9,41 spedizione 
Spedito in U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

2004. 2nd Edition. Paperback. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Num Pages: 440 pages, 10 tables 400 exercises. BIC Classification: UYA; UYD; UYF. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 246 x 173 x 22. Weight in Grams: 784. Modelling and Reasoning About Systems. 440 pages, 10 tables 400 exercises. Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems. Cateogry: (P) Professional & Vocational; (U) Tertiary Education (US: College). BIC Classification: UYA; UYD; UYF. Dimension: 246 x 173 x 22. Weight: 768. . . . . . Books ship from the US and Ireland.

Codice articolo V9780521543101

Titolo
Logic in Computer Science: Modelling and Reasoning about Systems
Autore
Michael Huth
Editore
Cambridge University Press
Anno di pubblicazione
2004
Condizione
New
Rilegatura
Brossura
Lingua
inglese
ISBN 10
052154310X
ISBN 13
9780521543101
Edizione
seconda edizione

Kennys Bookstore

Olney, MD, U.S.A.

Venditore con 5 stelle

Venditore AbeBooks dal 9 ottobre 2009

Tariffe di spedizione nazionale per U.S.A.

ArticoloDa 14 a 20 giorni lavorativiDa 13 a 14 giorni lavorativi
Primo articoloEUR 9,41EUR 18,82
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descrizione dello Store

We carry a comprehensive range of out of print and rare books.

Specializzazione

Revolution, War, Peace, Irish Studies

Informazioni sull’azienda del venditore

Kennys Bookshop and Art Galleries (Holdings) Limited

Liosbán Retail Park, Tuam Road
Galway, Irlanda H91 N5P8