Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Logic in Computer Science

Name: Logic in Computer Science
Brand: Cambridge University Press
SKU: 04092674
Price: 79.59 EUR
Availability: InStock
Author: Michael Huth
ISBN: 9780521543101

Michael Huth

Lingua

Inglese

Libro In brossura

Codice Libristo: 04092674

Casa editrice Cambridge University Press, agosto 2004

Recent years have seen the development of powerful tools for verifying hardware and software systems... Descrizione completa

Codice Libristo: 04092674

195 b

79.59 €

Magazzino esterno Inviamo tra 10-18 giorni

30 giorni per il reso

Potrebbe interessarti anche

Deep Learning Ian Goodfellow

Rigido

100.89 €

Pensacola William D. Chipley

In brossura

12.29 €

Staff Engineer's Path Tanya Reilly

In brossura

36.59 €

Apache Tomcat 7 Aleksa Vukotic

In brossura

82.89 €

Computational Complexity Sanjeev Arora

Rigido

83.59 €

Algorithm Design Manual Skiena

In brossura

63.19 €

Introduction to Algorithms, fourth edition Thomas H. Cormen

Rigido

150.59 €

International Court of Justice and Decolonisation Thomas Burri

In brossura

48.79 €

Algebra and Coalgebra in Computer Science José Luis Fiadeiro

In brossura

53.79 €

Practical UVM: Step by Step with IEEE 1800.2 Srivatsa Vasudevan

In brossura

62.09 €

Introduction to Mathematical Thinking Keith Devlin

In brossura

12.79 €

Paper Moon Joe Brown

In brossura

19.59 €

The Natural Candida Cleanse: A Healthy Treatment Guide to Improve Your Microbiome in Two Weeks Molly Devine

In brossura

13.49 €

Oh Dear!: A Farm Lift-The-Flap Book Rod Campbell

Leporello

7.89 €

Magic Wool Fairies Christine Schafer

In brossura

10.49 €

Girls Garage Emily Pilloton

Rigido

24.29 €

Maybe Kobi Yamada

Rigido

15.79 €

How to Draw Inky Wonderlands Johanna Basford

In brossura

12.99 €

Angelina Ballerina Katharine Holabird

Rigido

14.69 €

Being in Your Body (Guided Journal): A Journal for Self-Love and Body Positivity Fariha Roisin

In brossura

17.19 €

CompTIA A+(r) Certification All-in-One For Dummies (r), 5th Edition Glen E. Clarke

In brossura

37.49 €

Pro React 16 Adam Freeman

In brossura

55.19 €

Camilla D'Errico's Hydie d'Errico

Gioco

15.99 €

150 Hotels You Need to Visit before You Die Pappyn

Rigido

39.89 €

Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing 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 to the first edition have been made throughout, with extra and expanded sections on SAT solvers, existential/universal second-order logic, micro-models, programming by contract and total correctness. 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.