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,27 €

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 19,83 EUR - Lieferung zwischen 31. July 2025 und 06. August 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Guadeloupe , Martinique , Angola , Botsuana , Tschad , Mauritius , Nigeria , Réunion , Seychellen , Swasiland , ... und weitere