• Book cover of: Computer Aided Verification. By: Rupak Majumdar

Computer Aided Verification

Rupak Majumdar

€54,55
€54,55 €56,24 Sale
Tax included. Shipping calculated at checkout.

In stock
Autorius Rupak Majumdar
Leidimo metai 2017 m.
Puslapių skč. 601 psl.
Viršelis Minkštas viršelis
ISBN 9783319633862
Leidimas 1st ed. 2017

Computer Aided Verification

Computer Aided Verification by Rupak Majumdar, Viktor Kunčak.

Published by Springer, (2017), Paperback, 601 pages.

Topics: Computer software, verification.

Book cover of: Computer Aided Verification. By: Rupak Majumdar

Computer Aided Verification

€54,55
€54,55 €56,24