• 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 Väljamüük

Meil on laos

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

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