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

Guide to Software Verification with Frama-C

Nikolai Kosmatov

€73,74
€73,74 €76,49 Myynti

Meillä on varastossa

Prekės šiuo metu neturime
Palikite el. paštą ir pranešime iškart, kai prekė vėl atsiras sandėlyje.
Autorius Nikolai Kosmatov
Kalba Anglų k.
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...

€73,74
€73,74 €76,49