Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.

Name: Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.
SKU: 176809680619
Price: 70.10 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

70,10 €

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783031197581
UPC:

9783031197581
ISBN:

9783031197581
Format:

Paperback, 474 pages, 2022 Edition
Author:

Tiziana Margaria (Edited by)
Book Title:

Leveraging Applications of Formal Methods, Verific
Item Height:

2.5 cm
Item Length:

23.4 cm
Item Weight:

0.73 kg
Item Width:

15.6 cm
Language:

Eng
Publisher:

Springer International Publishing AG

Expressversand:

International Priority Shipping 13,99 EUR - Lieferung zwischen 18. July 2025 und 22. 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, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam, Vereinigte Arabische Emirate
Versand ausgeschlossen:

Isle of Man , Afghanistan , Armenien , Indien , Russische Föderation , Guyana , Algerien , Angola , Kongo, Demokratische Republik , Kongo, Republik , ... und weitere

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.

Leveraging Applications of Formal Methods, Verification and V... - 9783031197581

Leveraging Applications of Formal Methods, Verification and Validation.

Leveraging Applications of Formal Methods, Verification and Validation.

Leveraging Applications of Formal Methods, Verification and V... - 9783031197550

Leveraging Applications of Formal Methods, Verification and Validation. Verifica

Leveraging Applications of Formal Methods Verification and Validation. Specific

Leveraging Applications of Formal Methods, Verification and V... - 9783031197611

Leveraging Applications of Formal Methods, Verification and V... - 9783031198489

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Security Analysis and Formal Verification on Blockchain and its Applications

Leveraging Applications of Formal Methods, Verification by Margaria, Steffen SC

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Software Verification and Validation for Practitioners and Manag

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and

Formal Verification: An Essential Toolkit for Modern VLSI Design [paperback] Sel

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Ap...

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and

Applicable Formal Methods for Safe Industrial Products - 9783031401312

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.

Ähnliche Artikel

Leveraging Applications of Formal Methods, Verification and V... - 9783031197581

Leveraging Applications of Formal Methods, Verification and Validation.

Leveraging Applications of Formal Methods, Verification and Validation.

Leveraging Applications of Formal Methods, Verification and V... - 9783031197550

Leveraging Applications of Formal Methods, Verification and Validation. Verifica

Leveraging Applications of Formal Methods Verification and Validation. Specific

Leveraging Applications of Formal Methods, Verification and V... - 9783031197611

Leveraging Applications of Formal Methods, Verification and V... - 9783031198489

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Security Analysis and Formal Verification on Blockchain and its Applications

Leveraging Applications of Formal Methods, Verification by Margaria, Steffen SC

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Software Verification and Validation for Practitioners and Manag

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and

Formal Verification: An Essential Toolkit for Modern VLSI Design [paperback] Sel

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Ap...

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and

Applicable Formal Methods for Safe Industrial Products - 9783031401312

Cookie Hinweis