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

Computer Aided Verification

Rupak Majumdar

€54,55
€54,55 €56,24 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.
Autorius Rupak Majumdar
Kalba Anglų k.
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