• Book cover of: Guide to Software Verification with Frama-C. By: Nikolai Kosmatov

Guide to Software Verification with Frama-C

Nikolai Kosmatov

€72,74
€72,74 €74,99 Sale
Tax included. Shipping calculated at checkout.

In stock
Autorius Nikolai Kosmatov
Leidimo metai 2024 m.
Puslapių skč. 697 psl.
Viršelis Kietas viršelis
ISBN 9783031556074
Leidimas 2024 ed.

Guide to Software Verification with Frama-C

Guide to Software Verification with Frama-C by Nikolai Kosmatov, Virgile Prevosto, Julien Signoles.

Published by Springer International Publishing AG, (2024), Hardback, 697 pages.

Book cover of: Guide to Software Verification with Frama-C. By: Nikolai Kosmatov

Guide to Software Verification with F...

€72,74
€72,74 €74,99