• Book cover of: Automated Technology for Verification and Analysis. By: Dang Van Hung

Automated Technology for Verification and Analysis

Dang Van Hung

€54,55
€54,55 €56,24 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 Dang Van Hung
Leidimo metai 2020 m.
Puslapių skč. 574 psl.
Viršelis Minkštas viršelis
ISBN 9783030591519
Leidimas 1st ed. 2020

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis by Dang Van Hung, Mizuhito Ogawa.

Published by Springer International Publishing AG, (2020), Paperback, 574 pages.

Topics: Automatic theorem proving, Software engineering, Computer science, Computer Communication Networks.

Book cover of: Automated Technology for Verification and Analysis. By: Dang Van Hung

Automated Technology for Verification...

€54,55
€54,55 €56,24