Decision Procedures

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

An Algorithmic Point of View

Szerző: Daniel Kroening, Ofer Strichman

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 10-18 napon belül

13 008 Ft

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...

Információk a könyvről

Szerző

Daniel Kroening, Ofer Strichman

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2018

oldal

356

EAN

9783662570654

Enbook ID

20119732

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

580

Méretek

233 x 156 x 24

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Decision Procedures

An Algorithmic Point of View

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták