Sale!

Introducing Software Verification with Dafny Language: Proving Program Correctness 1st Edition Boro Sitnikovski

Original price was: $50.00.Current price is: $25.00.

Introducing Software Verification with Dafny Language: Proving Program Correctness 1st Edition Boro Sitnikovski Digital Instant Download

Author(s): Boro Sitnikovski
ISBN(s): 9781484279779, 1484279778
Edition: 1
File Details: PDF, 2.40 MB
Year: 2022
Language: English
SKU: EB-38546794 Category: Tag:

Introducing Software Verification with Dafny Language: Proving Program Correctness 1st Edition Boro Sitnikovski – Ebook Instant Download/Delivery ISBN(s): 9781484279779,1484279778

You may also like…

Sale!
Proving His Devotion 1st Edition by Jenna Rose
Quick View

Fiction - Short Stories

Proving His Devotion 1st Edition by Jenna Rose

Original price was: $50.00.Current price is: $25.00.
Sale!
Introducing Blockchain with Java: Program, Implement, and Extend Blockchains with Java 1st Edition Spiro Buzharovski
Quick View

Computers - Cryptography

Introducing Blockchain with Java: Program, Implement, and Extend Blockchains with Java 1st Edition Spiro Buzharovski

Original price was: $50.00.Current price is: $25.00.
Sale!
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski
Quick View

Computers - Programming

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski

Original price was: $50.00.Current price is: $25.00.
Sale!
Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language 1st Edition by Boro Sitnikovski 1484269683 9781484272541
Quick View

Computers - Programming

Introducing Blockchain with Lisp: Implement and Extend Blockchains with the Racket Language 1st Edition by Boro Sitnikovski 1484269683 9781484272541

Original price was: $50.00.Current price is: $25.00.
Sale!
Challenges of Software Verification Intelligent Systems Reference Library 238 Vincenzo Arceri (Editor)
Quick View

Computers - Computer Science

Challenges of Software Verification Intelligent Systems Reference Library 238 Vincenzo Arceri (Editor)

Original price was: $50.00.Current price is: $25.00.
Sale!
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski
Quick View

Computers - Programming

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types 1st Edition Boro Sitnikovski

Original price was: $50.00.Current price is: $25.00.
Sale!
Primary Mathematics 3A Hoerst
Quick View

Uncategorized

Primary Mathematics 3A Hoerst

Original price was: $50.00.Current price is: $25.00.
Sale!
Introducing Blockchain with Java: Program, Implement, and Extend Blockchains with Java 1st Edition Spiro Buzharovski
Quick View

Computers - Programming

Introducing Blockchain with Java: Program, Implement, and Extend Blockchains with Java 1st Edition Spiro Buzharovski

Original price was: $50.00.Current price is: $25.00.
Sale!
Gentle Introduction to Dependent Types With Idris 1st Edition Boro Sitnikovski
Quick View

Uncategorized

Gentle Introduction to Dependent Types With Idris 1st Edition Boro Sitnikovski

Original price was: $50.00.Current price is: $25.00.