LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

Name: LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation
Brand: Independently published

£9.76

Pages: 149, Paperback, Independently published

LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

catalogue.description

Price now:

£9.76

Amazon

Shop

Similar Products

LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

Amazon

£9.76

View All

Living Lean: The Larry North Program

Amazon

£12.34

View All

Agile and Lean Program Management: Scaling Collaboration Across the Organization

Amazon

£31.95

View All

THE ULTIMATE 12-WEEK LEAN & FIT PROGRAM FOR MEN OVER 50

Amazon

£13.45

View All

Lean Knowledge Management: How NASA Implemented a Practical KM Program

Amazon

£16.99

£23.14

View All

LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

£9.76

LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

£9.76

Prices

£9.76

Similar Products