Könyv Decision Procedures Daniel Kroening

Decision Procedures

An Algorithmic Point of View

Nyelv: Angol
Kötés: Kemény kötésű
Elérhetőség: Beszállítói készleten
Küldés 10-18 napon belül
17 286 Ft
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
2017
oldal
356
EAN
9783662504963
ISBN
3662504960
Enbook ID
02981250
Súly
722
Méretek
165 x 244 x 26

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

30 334 Ft
5 962 Ft

What is to be done?

Vladimir Ilyich Lenin
4 856 Ft

Hero of Ages

Brandon Sanderson
3 451 Ft

Hey, Kitty Kitty!

Brenda Ponnay
4 727 Ft

Gedichte

Gustav Schwab
11 356 Ft

Kuniyoshi

Matthi Forrer
40 056 Ft

Homecoming

Colin Grant
5 094 Ft
7 453 Ft
2 936 Ft
5 962 Ft

Poetic Spanking

Anthony Toomer
11 866 Ft
7 453 Ft

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

Talsperrenstatik

Othmar J. Rescher
19 802 Ft
255 Ft
11 539 Ft

Prolongations

François-Guillaume Lorrain
6 772 Ft
4 825 Ft

Ordnung im Mund macht gesund

Irmgard Simma-Kletschka
9 427 Ft
7 068 Ft
3 805 Ft

Biblia Para Ninos

Epoca Editorial
2 301 Ft