Decision Procedures

Name: Decision Procedures
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783662504963
Price: 187.3 PLN
Availability: InStock

An Algorithmic Point of View

Autor: Daniel Kroening, Ofer Strichman

Język:

Oprawa: Twarda

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-18 dni

187.30 zł

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

Informacje o książce

Autor

Daniel Kroening, Ofer Strichman

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2017

strony

356

EAN

9783662504963

ISBN

3662504960

Enbook ID

02981250

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

722

Wymiary

165 x 244 x 26

Pełny opis

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.§

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Decision Procedures

An Algorithmic Point of View

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również