Annabelle McIver – författare
Visar alla böcker från författaren Annabelle McIver. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
2 099 kr
Skickas inom 10-15 vardagar
2 099 kr
Skickas inom 10-15 vardagar
Formal Methods – The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
849 kr
Skickas inom 10-15 vardagar
Del 11024 - Lecture Notes in Computer Science
Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Häftad, Engelska, 2018
729 kr
Skickas inom 10-15 vardagar
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Häftad, Engelska, 2015
729 kr
Skickas inom 10-15 vardagar