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

Computer Aided Verification

Shuvendu K. Lahiri

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

Meillä on varastossa

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

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

Computer Aided Verification

Computer Aided Verification by Shuvendu K. Lahiri.

Published by Springer International Publishing AG, (2020), Paperback, 669 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