Formal Methods The Next 30 Years

The next
Wo zu kaufen (4) Eigenschaften
Gesponsert
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science, Band 11800)
Medimops DE
52.94 EUR
Preis aktualisiert am: 18-09-2026 13:07:44
Siehe Produktangebot
Gesponsert
Formal Methods - The Next 30 Years
Hugendubel
53.49 EUR
Preis aktualisiert am: 17-09-2026 13:55:16
Siehe Produktangebot
Gesponsert
Formal Methods - The Next 30 Years, Fachbücher von Annabelle McIver, Maurice H. ter Beek, José N. Oliveira
Galaxus.de
53.49 EUR
Preis aktualisiert am: 17-09-2026 20:14:34
Siehe Produktangebot
Gesponsert
Formal Methods – The Next 30 Years
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 18-09-2026 18:11:18
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Produkt anzeigen
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... Notes in Computer Science, Band 11823)
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... Notes in Computer Science, Band 11823)
Produkt anzeigen
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Produkt anzeigen
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS
Produkt anzeigen
Formal Methods in the Methodology of Empirical Sciences
Formal Methods in the Methodology of Empirical Sciences
Produkt anzeigen
Menü