Pereiti prie produkto informacijos

Introducing Software Verification with Dafny Language

Boro Sitnikovski

Įprasta kaina €33,94
Pardavimo kaina €33,94 Įprasta kaina €34,99 Išpardavimas

Turime sandėlyje

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
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...

Įprasta kaina €33,94
Pardavimo kaina €33,94 Įprasta kaina €34,99