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

Verification, Model Checking, and Abstract Interpretation : 25th Internationa...

Ø 0.0

0 Bewertungen

74,77 €

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:

9783031505232

Standardversand:

Standard Int'l Postage 20,23 EUR - Lieferung zwischen 13. June 2025 und 19. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Saint-Pierre und Miquelon , Guadeloupe , Martinique , Brasilien , Französisch-Guayana , , Venezuela , Saudi-Arabien , Jemen , Russische Föderation , ... und weitere