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

Tools and Algorithms for the Construction and Analysis of Systems: 29th Internat

Ø 0.0

0 Bewertungen

52,33 €

Tool Demos. - EVA: a Tool for the Compositional Verification of AUTOSAR Models. - Multiparty Session Typing in Java, Deductively. - FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.

Jetzt bei Ebay:

Format:

Paperback
ISBN-13:

9783031308192
Author:

Sriram Sankaranarayanan, Natasha Sharygina
Book Title:

Tools and Algorithms for the Construction and Analysis of Systems
ISBN:

9783031308192

None:

International Standard : tracked-no signature (7 to 15 business days) 34,53 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