• Book cover of: Introducing Software Verification with Dafny Language. By: Boro Sitnikovski

Introducing Software Verification with Dafny Language

Boro Sitnikovski

€34,94
€34,94 €36,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 Boro Sitnikovski
Kalba Anglų k.
Leidėjas APress
Leidimo metai 2022 m.
Puslapių skč. 131 psl.
Viršelis Minkštas viršelis
ISBN 9781484279779
Leidimas 1st ed.

Introducing Software Verification with Dafny Language

Introducing Software Verification with Dafny Language by Boro Sitnikovski.

Published by Apress L. P., (2022), Paperback, 131 pages.

Book cover of: Introducing Software Verification with Dafny Language. By: Boro Sitnikovski

Introducing Software Verification wit...

€34,94
€34,94 €36,49