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: 30th Internat

Name: Tools and Algorithms for the Construction and Analysis of Systems: 30th Internat
SKU: 157024269756
Price: 38.96 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

38,96 €

Neural networks. - testing and verification. - SV-Comp 2024. Publisher Springer International Publishing AG. Place of Publication Cham. Country of Publication Switzerland. Publication Date 2024-04-05.

Jetzt bei Ebay:

Zum Angebot *

Format:

Paperback
ISBN-13:

9783031572555
Author:

Bernd Finkbeiner, Laura Kovcs
Book Title:

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

9783031572555

None:

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

Weltweit
Versand ausgeschlossen:

Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , Vanuatu , Samoa (Westsamoa) , Russische Föderation , ... und weitere

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