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

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE,

Ø 0.0

0 Bewertungen

69,04 €

Model Translation from Papyrus-RT into the nuXmv Model Checker. - Modeling and Verification of Temporal Constraints for Web Service Composition. - Code Coverage Aware Test Generation Using Constraint Solver.

Jetzt bei Ebay:

ISBN-13:

9783030672195
Book Title:

Software Engineering and Formal Methods. SEFM 2020 Collocated Wor
ISBN:

9783030672195

None:

International Standard : tracked-no signature (7 to 15 business days) 23,47 EUR - Lieferung zwischen 27. May 2025 und 06. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Kambodscha , Bolivien , Ecuador , Französisch-Guayana , Guyana , Paraguay , Peru , Suriname , Venezuela , Costa Rica , ... und weitere