Noch Fragen? 0800 / 33 82 637

Formal Methods – The Next 30 Years

Third World Congress, Porto, Portugal, October 7–11, 2019, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations. weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-030-30941-1 / 978-3030309411 / 9783030309411

Verlag: Springer International Publishing

Erscheinungsdatum: 15.09.2019

Seiten: 774

Auflage: 1

Herausgegeben von Annabelle McIver, Jose N. Oliveira, Maurice ter Beek, Maurice H. ter Beek

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück