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

Formal Methods and Software Engineering: 21st International Conference on Formal

75,79 €

Using DimSpec for Bounded and Unbounded Software Model Checking. - SMTBCF: Efficient Backbone Computing for SMT Formulas. - Automatic verification for node-based visual script notation using model checking.

Jetzt bei Ebay:

ISBN-13:

9783030324087
Book Title:

Formal Methods and Software Engineering
ISBN:

9783030324087

None:

International Standard : tracked-no signature (7 to 15 business days) 33,83 EUR - Lieferung zwischen 20. February 2025 und 03. March 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , Vanuatu , Samoa (Westsamoa) , Afghanistan , ... und weitere