Eine Einführung in praktische formale Methoden mit zeitlicher Logik von Fisher, Mich

International Priority Shipping 15,40 EUR - Lieferung zwischen 30. July 2025 und 01. August 2025 (bei heutigem Zahlungseingang)

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, 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, Israel