Decision Procedures

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

An Algorithmic Point of View

Autor: Daniel Kroening, Ofer Strichman

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-18 dni

137.17 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 - Miękka

Data wydania

2018

strony

356

EAN

9783662570654

Enbook ID

20119732

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

580

Wymiary

233 x 156 x 24

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ż