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

Verifikation, Modellprüfung und abstrakte Interpretation: 25th Internationa...

Ø 0.0

0 Bewertungen

73,80 €

Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning;.

Jetzt bei Ebay:

Book Title:

Verification, Model Checking, and Abstract Interpretation : 25th
Author:

Dimitrova, Rayna (EDT); Lahav, Ori (EDT); Wolff, Sebastian (EDT)
Language:

English
ISBN:

9783031505201

Standardversand:

Standard Int'l Postage 19,98 EUR - Lieferung zwischen 23. July 2025 und 29. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Laos , Singapur , Russische Föderation , Tadschikistan , Turkmenistan , Brasilien , Französisch-Guayana , , Venezuela , Saudi-Arabien , ... und weitere