The SPIN Model Checker: Grundierung und Referenzhandbuch von Gerard J. Holzmann

eBay International Shipping 13,74 EUR - Lieferung zwischen 12. June 2025 und 20. June 2025 (bei heutigem Zahlungseingang)

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