Decision Procedures

Name: Decision Procedures
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783662570654
Price: 34.0 EUR
Availability: InStock

An Algorithmic Point of View

Autor: Daniel Kroening, Ofer Strichman

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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

Autor

Daniel Kroening, Ofer Strichman

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2018

Stránok

356

EAN

9783662570654

Enbook ID

20119732

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

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ť

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

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Decision Procedures

An Algorithmic Point of View

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

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