• Book cover of: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. By: Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria

€109,12
€109,12 €112,49 Em promoção

Temos em stock

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

Autorius Tiziana Margaria
Leidimo metai 2016 m.
Puslapių skč. 974 psl.
Viršelis Minkštas viršelis
ISBN 9783319471655
Leidimas 1st ed. 2016
Kategorijos Programavimas

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques by Tiziana Margaria, Bernhard Steffen.

Published by Springer, (2016), Paperback, 974 pages.

Topics: Robots, programming, Machine learning, Computer software.

Book cover of: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. By: Tiziana Margaria

Leveraging Applications of Formal Met...

€109,12
€109,12 €112,49