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

Verification, Model Checking, and Abstract Interpretation: Third International W

Ø 0.0

0 Bewertungen

68,59 €

Security and Protocols. - Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. - A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.

Jetzt bei Ebay:

ISBN-13:

9783540436317
Book Title:

Verification, Model Checking, and Abstract Interpretation
ISBN:

9783540436317

None:

International Standard : tracked-no signature (7 to 15 business days) 38,56 EUR - Lieferung zwischen 20. May 2025 und 02. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , Suriname , Venezuela , Afghanistan , Armenien , ... und weitere