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