Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.
Ø 0.0
0 Bewertungen
66,32 €
Jetzt bei Ebay:
-
EAN:9783031197611
-
UPC:9783031197611
-
ISBN:9783031197611
-
Format:Paperback, 424 pages, 2022 Edition
-
Author:Tiziana Margaria (Edited by)
-
Book Title:Leveraging Applications of Formal Methods, Verific
-
Item Height:2.3 cm
-
Item Length:23.4 cm
-
Item Weight:0.61 kg
-
Item Width:15.6 cm
-
Language:Eng
-
Publisher:Springer International Publishing AG
-
Expressversand:International Priority Shipping 14,05 EUR - Lieferung zwischen 04. July 2025 und 08. 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 , Algerien , Angola , Kongo, Demokratische Republik , Kongo, Republik , Ghana , Nigeria , Togo , Indonesien , Malaysia , ... und weitere
