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

Automated Technology for Verification and Analysis: 19th International Symposium

Ø 0.0

0 Bewertungen

97,82 €

Invited Paper. - Linear Temporal Logic – From Infinite to Finite Horizon. - Automata Theory. - Certifying DFA Bounds for Recognition and Separation. - Learning Linear Temporal Properties from Noisy Data: A MaxSAT-based Approach.

Jetzt bei Ebay:

ISBN-13:

9783030888848
Book Title:

Automated Technology for Verification and Analysis
ISBN:

9783030888848

None:

International Standard : tracked-no signature (7 to 15 business days) 25,47 EUR - Lieferung zwischen 20. May 2025 und 30. May 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

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