Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung. Applikat

Economy International Shipping 16,69 EUR - Lieferung zwischen 19. May 2025 und 30. May 2025 (bei heutigem Zahlungseingang)

eBay International Shipping 15,80 EUR - Lieferung zwischen 10. June 2025 und 23. June 2025 (bei heutigem Zahlungseingang)

Weltweit, Neuseeland, Fidschi, Papua-Neuguinea, Wallis und Futuna, Marshallinseln, Gambia, Malaysia, Mayotte, Taiwan, Polen, Oman, Suriname, Vereinigte Arabische Emirate, Kenia, Argentinien, Guinea-Bissau, Armenien, Usbekistan, Bhutan, Senegal, Togo, Irland, Falklandinseln (Malwinen), Katar, Burundi, Niederlande, Slowakei, Irak, Slowenien, Äquatorialguinea, Thailand, Aruba, Amerikanisch-Samoa, Schweden, Island, Mazedonien, Belgien, Israel, Kuwait, Liechtenstein, Benin, Algerien, Antigua und Barbuda, Italien, Swasiland, Tansania, Pakistan, Burkina Faso, Panama, Singapur, Kirgisistan, Jersey, Schweiz, Dschibuti, Puerto Rico, Chile, China, Mali, Botsuana, Republik Kroatien, Kambodscha, Indonesien, Portugal, Malta, Tadschikistan, Vietnam, Kaimaninseln, Paraguay, St. Helena, Zypern, Seychellen, Ruanda, Bangladesch, Australien, Österreich, Sri Lanka, Gabun, Simbabwe, Bulgarien, Tschechische Republik, Norwegen, Côte d'Ivoire (Elfenbeinküste), Kiribati, Turkmenistan, Grenada, Griechenland, Haiti, Grönland, Jemen, Afghanistan, Montenegro, Mongolei, Nepal, Bahamas, Bahrain, Großbritannien, Svalbard und Jan Mayen, Dominica, Bosnien und Herzegowina, Ungarn, Angola, Samoa (Westsamoa), Frankreich, Mosambik, Namibia, Peru, Dänemark, Guatemala, Salomonen, Vatikan, Sierra Leone, Nauru, Anguilla, El Salvador, Guam, Mikronesien, Dominikanische Republik, Kamerun, Guyana, Aserbaidschan, Macau, Georgien, Tonga, San Marino, Eritrea, St. Kitts und Nevis, Marokko, St. Vincent und die Grenadinen, Mauretanien, Belize, Philippinen, Kongo, Demokratische Republik, , Kongo, Republik, Westsahara, Cookinseln, Komoren, Kolumbien, Spanien, Estland, Bermuda, Montserrat, Sambia, Südkorea, Somalia, Vanuatu, Ecuador, Albanien, Äthiopien, Monaco, Guernsey, Niger, Laos, Ghana, Kap Verde, Moldawien, Madagaskar, Saint-Pierre und Miquelon, Libanon, Liberia, Bolivien, Malediven, Gibraltar, Hongkong, Zentralafrikanische Republik, Lesotho, Nigeria, Mauritius, St. Lucia, Jordanien, Guinea, Britische Jungferninseln, Kanada, Turks- und Caicosinseln, Tschad, Andorra, Rumänien, Costa Rica, Indien, Mexiko, Serbien, Kasachstan, Saudi-Arabien, Niederländische Antillen, Japan, Litauen, Trinidad und Tobago, Palau, Malawi, Nicaragua, Finnland, Tunesien, Luxemburg, Uganda, Brasilien, Türkei, Tuvalu, Deutschland, Ägypten, Lettland, Jamaika, Niue, Jungferninseln (USA), Südafrika, Brunei Darussalam, Honduras