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

Computer Aided Verification by Serdar Tasiran (English) Hardcover Book

87,37 €

By Serdar Tasiran, Isil Dillig. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. Computer Aided Verification. Format Hardcover.

Jetzt bei Ebay:

ISBN-13:

9781013271175
Book Title:

Computer Aided Verification
ISBN:

9781013271175

None:

International Standard : tracked-no signature (7 to 15 business days) 63,25 EUR - Lieferung zwischen 21. January 2025 und 04. February 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Kambodscha , Russische Föderation , Belarus , Irland , Ukraine , Großbritannien , Costa Rica , Dominica , Dominikanische Republik , El Salvador , ... und weitere