• Book cover of: Computer Aided Verification. By: Shuvendu K. Lahiri

Computer Aided Verification

Shuvendu K. Lahiri

€42,43
€42,43 €43,74 Em promoção

Temos em stock

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

Leidimo metai 2020 m.
Puslapių skč. 683 psl.
Viršelis Minkštas viršelis
ISBN 9783030532901
Leidimas 1st ed. 2020

Computer Aided Verification

Computer Aided Verification by Shuvendu K. Lahiri.

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

Topics: Computer modelling & simulation, Computer networking & communications, Computer science, Software Engineering.

Book cover of: Computer Aided Verification. By: Shuvendu K. Lahiri

Computer Aided Verification

€42,43
€42,43 €43,74