Rigorous Software Development: An Introduction to Program Verification

Name: ThinkEDU Rigorous Software Development: An Introduction to Program Verification - Rigorous Software Development: An Introduction to Program Verification
Brand: ThinkEDU
SKU: 59498877911326
Price: 64.99 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$64.99

Quantity

Color

Black

Quantity

Rigorous Software Development eBook – Formal Program Verification and Logic Architecture Guide
Supercharge your local mathematical verification velocity and eliminate runtime code compilation bottlenecks during intensive software development marathons using the advanced, formal proof frameworks inside the Rigorous Software Develop

ThinkEDU

4.2 (232)

Product description loading

This is the product description text that will appear here.

Rigorous Software Development: An Introduction to Program Verification

ThinkEDU

You might also like

ThinkEDU

You might also like

Rigorous Software Development: An Introduction to Program Verification

Highlights

Description

Specifications

Delivery & Returns

ThinkEDU

You might also like

Highlights

Description

Specifications

Delivery & Returns

ThinkEDU

You might also like