Kniha Decision Procedures Daniel Kroening

Decision Procedures

An Algorithmic Point of View

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-18 dní
34.00
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2018
Stránok
356
EAN
9783662570654
Enbook ID
20119732
Hmotnosť
580
Rozmery
233 x 156 x 24

Kompletný popis

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

Mohlo by vás zaujímať

No Time to Play

Henry Farley
14.89

Field Sketchbook A6

Inc Peter Pauper Press
7.05

Matty Matheson

Quentin Bacon
31.06
7.64
136.14

Opening the Akashic Records

Maureen J. St Germain
11.46

Are You Listening?

Tillie Walden
26.65

It Was Always You

Lorhainne Eckhart
8.71
5.97
11.16
69.78

Buckingham Palace

Ashley Hicks
45.86
9.79

Rise and Divine

Lana Harper
10.09
13.91
40.67
9.89

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Opowiem o tobie gwiazdom

Edyta Prusinowska
10.09
20.87

Bella Germania

Daniel Speck
12.24

In altre parole

Jhumpa Lahiri
11.56

DaF Kompakt neu

Birgit Braun
33.42

Amokspiel

Sebastian Fitzek
11.46