Ofer Strichman - Entscheidungsverfahren aus algorithmischer Sicht - J555z
Ø 0.0
0 Bewertungen
56,60 €
The Title is Decision Procedures : An Algorithmic Point of View. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.
Jetzt bei Ebay:
-
Fiction/Non-Fiction:Non-Fiction
-
Genre/Subject:COMPUTERS / Computer Science
-
Brand:Texts in Theoretical Computer Science. An EATCS Series
-
Weight:0.71
-
Style:NA
-
Title:Decision Procedures An Algorithmic Point of View
-
Release Title:Decision Procedures An Algorithmic Point of View
-
Record Grading:New
-
Sleeve Grading:New
-
Platform:NA
-
Size:NA
-
Film/TV Title:Decision Procedures An Algorithmic Point of View
-
Colour:NA
-
Material:NA
-
Department:NA
-
Binding Type:Hardcover
-
Item Length:233.93
-
Main Stone:NA
-
Metal Purity:NA
-
Metal:NA
-
Connectivity:NA
-
Model:NA
-
ISBN:9783662504963
-
Expressversand:International Priority Shipping 11,61 EUR - Lieferung zwischen 29. May 2025 und 03. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, Antigua und Barbuda, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Spanien, Schweden, Australien, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Israel, Hongkong, Norwegen, Indonesien, Malaysia, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Thailand, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Aruba, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Bahamas, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam, USA
-
Versand ausgeschlossen:Laos , Afghanistan , Armenien , Aserbaidschan , Bhutan , Georgien , Indien , Kasachstan , Kirgisistan , Mongolei , ... und weitere
