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

Ø 0.0

0 Bewertungen

52,33 €

HOLL: Program Synthesis for Higher Order Logic Locking. - The Complexity of LTL Rational Synthesis. - Synthesis of Compact Strategies for Coordination Programs. - ZDD Boolean Synthesis. - Functions and Computer Algebra Systems.

Jetzt bei Ebay:

Format:

Paperback
Language:

English
ISBN-13:

9783030995232
Author:

Dana Fisman, Grigore Rosu
Book Title:

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

9783030995232

None:

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