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

Ø 0.0

0 Bewertungen

94,03 €

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783031198489
UPC:

9783031198489
ISBN:

9783031198489
Format:

Paperback, 598 pages, 2022 Edition
Author:

Tiziana Margaria (Edited by)
Book Title:

Leveraging Applications of Formal Methods, Verific
Item Height:

3.2 cm
Item Length:

23.4 cm
Item Weight:

0.85 kg
Item Width:

15.6 cm
Language:

Eng
Publisher:

Springer International Publishing AG

Economy Shipping from outside:

eBay SpeedPAK Economy 3,38 EUR - Lieferung zwischen 19. June 2025 und 02. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Großbritannien, USA, Kanada, Irland, Australien, Deutschland, Frankreich, Italien, Singapur, Neuseeland, Belgien, Niederlande, Schweiz
Versand ausgeschlossen:

Isle of Man , Algerien , Angola , Burkina Faso , Kongo, Demokratische Republik , Kongo, Republik , Ghana , Nigeria , Togo , Afghanistan , ... und weitere

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.

Leveraging Applications of Formal Methods, Verification and Validation.

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

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

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

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

Validation Handbook for Engineers, Paperback by Browne, Priscilla, Like New U...

Margaria - Leveraging Applications of Formal Methods Verification and - S555z

Software Verification and Formal Methods for ML-Enabled Autonomous Systems:

QED and Symbolic QED: Dramatic Improvements in Pre-Silicon Verification and

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

Margaria - Leveraging Applications of Formal Methods Verification and - S555z

Margaria - Leveraging Applications of Formal Methods Verification and - S555z

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

Applicable Formal Methods for Safe Industrial Products - 9783031401312

Software Verification and Formal Methods for ML-Enabled Auton... - 9783031212215

Polynomial Formal Verification of Approximate Functions - 9783658418878

Formal Methods and Software Engineering - 9783031172434

Formal Verification by Erik Seligman (Paperback Book)

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

Formal Verification : An Essential Toolkit for Modern Vlsi Design, Paperback ...

Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.

Ähnliche Artikel

Leveraging Applications of Formal Methods, Verification and Validation.

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

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

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

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

Validation Handbook for Engineers, Paperback by Browne, Priscilla, Like New U...

Margaria - Leveraging Applications of Formal Methods Verification and - S555z

Software Verification and Formal Methods for ML-Enabled Autonomous Systems:

QED and Symbolic QED: Dramatic Improvements in Pre-Silicon Verification and

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

Margaria - Leveraging Applications of Formal Methods Verification and - S555z

Margaria - Leveraging Applications of Formal Methods Verification and - S555z

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

Applicable Formal Methods for Safe Industrial Products - 9783031401312

Software Verification and Formal Methods for ML-Enabled Auton... - 9783031212215

Polynomial Formal Verification of Approximate Functions - 9783658418878

Formal Methods and Software Engineering - 9783031172434

Formal Verification by Erik Seligman (Paperback Book)

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

Formal Verification : An Essential Toolkit for Modern Vlsi Design, Paperback ...

Cookie Hinweis