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: 167277656554
Price: 64.31 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

64,31 €

Jetzt bei Ebay:

Zum Angebot *

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 13,95 EUR - Lieferung zwischen 20. August 2025 und 22. August 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 , Afghanistan , Armenien , ... und weitere

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.

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

Leveraging Applications of Formal Methods, Verification and Validation.

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS

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

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

Leveraging Applications of Formal Methods Verification and Validation. Specific

Leveraging Applications of Formal Methods, Verification and Validation. Verifica

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

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Leveraging Applications of Formal Methods, Verification and Validation.

Security Analysis and Formal Verification on Blockchain and its Applications

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

INCOSE Needs and Requirements Manual: Needs, Requi rements, Validation,

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

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

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

Software Verification and Validation for Practitioners and Manag

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.

Ähnliche Artikel

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

Leveraging Applications of Formal Methods, Verification and Validation.

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS

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

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

Leveraging Applications of Formal Methods Verification and Validation. Specific

Leveraging Applications of Formal Methods, Verification and Validation. Verifica

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

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Leveraging Applications of Formal Methods, Verification and Validation.

Security Analysis and Formal Verification on Blockchain and its Applications

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

INCOSE Needs and Requirements Manual: Needs, Requi rements, Validation,

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

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

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

Software Verification and Validation for Practitioners and Manag

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Cookie Hinweis