Logic in Computer Science di Michael Huth, Mark Ryan edito da Cambridge University Pr.
Alta reperibilità

Logic in Computer Science

Modelling and Reasoning About Systems

EAN:

9780521543101

ISBN:

052154310X

Pagine:
440
Formato:
Paperback
Lingua:
Inglese
Acquistabile con la

Descrizione Logic in Computer Science

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

Spedizione gratuita
€ 72.88
o 3 rate da € 24.29 senza interessi con
Disponibile in 5-6 giorni
servizio Prenota Ritiri su libro Logic in Computer Science
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti