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. REoCAS

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

Ø 0.0

0 Bewertungen

75,79 €

Rocco De Nicola has significantly contributed to collective adaptive systems through novel approaches for their formal specification, analysis, and verification.

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783031737084
UPC:

9783031737084
ISBN:

9783031737084
Format:

Paperback, 428 pages, 2025 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.62 kg
Item Width:

15.6 cm
Language:

Eng
Publisher:

Springer International Publishing AG

Expressversand:

International Priority Shipping 14,16 EUR - Lieferung zwischen 17. 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, 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 Wight , Israel , Türkei , Guyana , Amerikanisch-Samoa , Französisch-Polynesien , Guam , Palau , Vanuatu , Indonesien , ... und weitere

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung. REoCAS

Leveraging Applications of Formal Methods, Verification and Validation.

Leveraging Applications of Formal Methods, Verification and Validation.

Leveraging Applications of Formal Methods, Verification and Validation.

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... - 9783031198489

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS C

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 V... - 9783031197611

Security Analysis and Formal Verification on Blockchain and its Applications

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

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

Software Verification and Validation for Practitioners and Manag

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

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

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

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

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung. REoCAS

Ähnliche Artikel

Leveraging Applications of Formal Methods, Verification and Validation.

Leveraging Applications of Formal Methods, Verification and Validation.

Leveraging Applications of Formal Methods, Verification and Validation.

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... - 9783031198489

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS C

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 V... - 9783031197611

Security Analysis and Formal Verification on Blockchain and its Applications

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

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

Software Verification and Validation for Practitioners and Manag

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

Margaria - Leveraging Applications of Formal Methods Verification and - L555z

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

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

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

Cookie Hinweis