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

Leveraging Applications of Formal Methods, Verification and Validation. Specific

Ø 0.0

0 Bewertungen

78,86 €

Specification and Verification. - Deductively Verified Program Models for Software Model Checking. - Contract-LIB: A Proposal for a Common Interchange Format for Software Systems Specification. - Adventures in FRET and Specification.

Jetzt bei Ebay:

Format:

Paperback
ISBN-13:

9783031753794
Author:

Tiziana Margaria, Bernhard Steffen
Book Title:

Leveraging Applications of Formal Methods, Verification and Valid
ISBN:

9783031753794

None:

International Standard : tracked-no signature (7 to 15 business days) 25,88 EUR - Lieferung zwischen 26. June 2025 und 08. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Algerien , Angola , Benin , Botsuana , Burkina Faso , Burundi , Kamerun , Kap Verde , Zentralafrikanische Republik , Tschad , ... und weitere