Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.
Ø 0.0
0 Bewertungen
55,05 €
Opportunities and Challenges in Monitoring Cyber-physical Systems Security. - Increasing the Reusability of Enforcers with Lifecycle Events. - BDDs on the Run. - Verifying Real-World Software with Contracts for Concurrency.
Jetzt bei Ebay:
-
EAN:9783030034269
-
UPC:9783030034269
-
ISBN:9783030034269
-
Recommended Age Range:12+ years
-
Book Title:Leveraging Applications of Formal Methods, Verific
-
Item Length:23.4 cm
-
Expressversand:International Priority Shipping 11,54 EUR - Lieferung zwischen 07. July 2025 und 09. July 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, 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 , Afghanistan , Armenien , Indien , Russische Föderation , Israel , Türkei , Guyana , Indonesien , Malaysia , ... und weitere