Mordechai Ben-Ari - Mathematische Logik für Informatik - Neu Pape - J555z
Ø 0.0
0 Bewertungen
90,76 €
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logicfor the verification of concurrent programs.
Jetzt bei Ebay:
-
Fiction/Non-Fiction:Non-Fiction
-
Genre/Subject:MATHEMATICS / Logic
-
Brand:Springer London Ltd
-
Weight:0.51
-
Style:NA
-
Title:Mathematical Logic for Computer Science
-
Release Title:Mathematical Logic for Computer Science
-
Record Grading:New
-
Sleeve Grading:New
-
Platform:NA
-
Size:NA
-
Film/TV Title:Mathematical Logic for Computer Science
-
Colour:NA
-
Material:NA
-
Department:NA
-
Binding Type:Perfect
-
Item Length:233.93
-
Main Stone:NA
-
Metal Purity:NA
-
Metal:NA
-
Connectivity:NA
-
Model:NA
-
ISBN:9781447141280
-
Expressversand:International Priority Shipping 12,79 EUR - Lieferung zwischen 04. June 2025 und 09. 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:Afghanistan , Libyen , Nauru , Somalia , Jemen , Russische Föderation
