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

Ø 0.0

0 Bewertungen

38,96 €

SAT and SMT Solving. - DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. - Z3-Noodler: An Automata-based String Solver. - Speculative SAT modulo SAT. - Happy Ending: An Empty Hexagon in Every Set of 30 Points.

Jetzt bei Ebay:

Format:

Paperback
ISBN-13:

9783031572456
Author:

Bernd Finkbeiner, Laura Kovcs
Book Title:

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

9783031572456

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:

Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , Honduras , Jamaika , Martinique , ... und weitere