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

Computer Aided Verification

Shuvendu K. Lahiri

€42,43
€42,43 €43,74 Sale
Tax included. Shipping calculated at checkout.

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

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