Introducing Software Verification with Dafny Language: Proving Program Correctness
Product ID: 1484279778
Condition: New
Payflex: Pay in 4 interest-free payments of R376.50. Read the FAQ
R 1,506
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA
Mastercard
payflex
ozow
Product Description
Introducing Software Verification with Dafny Language: Proving Program Correctness
Technical Specifications
Country
USA
Brand
Apress
Manufacturer
Apress
Binding
Paperback
ItemPartNumber
Refer to Sapnet.
ReleaseDate
2022-03-01T00:00:01Z
UnitCount
1
EANs
9781484279779
You might also like
Transmission Parts Now Transgo Shift Kit fits Ford 6R80 fits BMW ZF6 SK 6R80
The Song of Everlasting Sorrow
Against a Hindu God: Buddhist Philosophy of Religion in India
Evolutionary Biogeography: An Integrative Approach with Case Studies
Strategic Intuition: The Creative Spark in Human Achievement (Columbia Business School Publishing)
Sources of East Asian Tradition, Vol. 1: Premodern Asia (Introduction to Asian Civilizations)
More Than You Know: Finding Financial Wisdom in Unconventional Places (Updated and Expanded) (Columbia Business School Publishing)
Troubled Apologies Among Japan, Korea, and the United States