Das Rechenkalkül: Entscheidungsverfahren mit Anträgen auf
Ø 0.0
0 Bewertungen
71,10 €
This textbook also presents a logical approach to engineering correct software as an application of computational logic. Verification exercises develop the reader's facility in specifying and verifying software using logic.
Jetzt bei Ebay:
-
EAN:9783540741121
-
UPC:9783540741121
-
ISBN:9783540741121
-
Book Title:The Calculus of Computation: Decision Procedures w
-
Item Length:23.7 cm
-
Expressversand:International Priority Shipping 12,11 EUR - Lieferung zwischen 05. August 2025 und 07. August 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, Ö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, Schweden, Australien, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, 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, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam
-
Versand ausgeschlossen:Isle of Man , Algerien , Angola , Kongo, Demokratische Republik , Kongo, Republik , Ghana , Nigeria , Togo , Guyana , Russische Föderation , ... und weitere