• 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č. 623 psl.
Viršelis Minkštas viršelis
ISBN 9783319633893
Leidimas 1st ed. 2017

Computer Aided Verification

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

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

Topics: Computer software, verification.

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

Computer Aided Verification

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