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

£9.76

Pages: 149, Paperback, Independently published

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

Pages: 149, Paperback, Independently published

Price now:

£9.76

£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

Lean Machine: A 12-Week Muscle-Building Program

Amazon

£18.00

Agile and Lean Program Management: Scaling Collaboration Across the Organization

Amazon

£31.95

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

Amazon

£13.45