• 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

477,00 zł
477,00 zł 492,00 zł Sprzedaż

Mamy to na stanie

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
Autorius Tiziana Margaria
Leidimo metai 2016 m.
Puslapių skč. 974 psl.
Viršelis Minkštas viršelis
ISBN 9783319471655
Leidimas 1st ed. 2016
Kategorijos Programowanie

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...

477,00 zł
477,00 zł 492,00 zł