- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
The Calculus of Computation
Decision Procedures with Applications to Verification
Aaron R Bradley, Zohar Manna
Hardcover | Engels
€ 73,95
+ 147 punten
Uitvoering
Omschrijving
Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. The final chapter outlines courses of further study.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 366
- Taal:
- Engels
Eigenschappen
- Productcode (EAN):
- 9783540741121
- Verschijningsdatum:
- 3/09/2007
- Uitvoering:
- Hardcover
- Formaat:
- Genaaid
- Afmetingen:
- 163 mm x 236 mm
- Gewicht:
- 684 g
Alleen bij Standaard Boekhandel
+ 147 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.