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

Computer Aided Verification

Shuvendu K. Lahiri

€42,43
€42,43 €43,74 Väljamüük

Meil on laos

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