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

Werkzeuge und Algorithmen für den Aufbau und die Analyse von Systemen: 30. Internat

Ø 0.0

0 Bewertungen

62,72 €

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
Type:

NA
Book Title:

Tools and Algorithms for the Construction and Analysis of Systems
Publication Name:

NA
ISBN:

9783031572456

Standardversand:

Standard Int'l Postage 16,46 EUR - Lieferung zwischen 02. June 2025 und 06. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Russische Föderation , Marshallinseln , Belarus , Serbien , Ukraine , Afghanistan , Libyen , Nauru , Somalia , Jemen