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

Guide to Software Verification with Frama-C

Nikolai Kosmatov

316,00 zł
316,00 zł 326,00 zł Sprzedaż

Mamy to na stanie

📦 Š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...

316,00 zł
316,00 zł 326,00 zł