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

Meil on laos

Toodet hetkel ei ole
Jätke oma e-posti aadress ja anname teada, kui toode on taas laos.
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