Logik in der Informatik: Modellierung und Argumentation über Systeme [Taschenbuch]
Ø 0.0
0 Bewertungen
59,16 €
The coverage of model-checking has been substantially updated. Further exercises have been added.
Jetzt bei Ebay:
-
EAN:9780521543101
-
UPC:9780521543101
-
ISBN:9780521543101
-
Book Title:Logic in Computer Science: Modelling and Reasoning
-
Item Length:24.6 cm
-
Expressversand:International Priority Shipping 12,31 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 , Israel , Türkei , Russische Föderation , Albanien , Andorra , Belarus , Spanien , Afghanistan , Armenien , ... und weitere