• 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 Sale
Tax included. Shipping calculated at checkout.

In stock
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