• 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 Sale
Tax included. Shipping calculated at checkout.

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

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