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

Introducing Software Verification with Dafny Language

Boro Sitnikovski

€33,94
€33,94 €34,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 Boro Sitnikovski
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...

€33,94
€33,94 €34,99