Program Proofs, , MIT Press, K. Rustan M. Leino,Programming and scripting languages: general,Computer programming / software engineering, computer;technology;computers;coding;code;algorithm;computer programming;clean code;algorithms;tech;coding for beginners;computer books;programmer gifts;computer programmer gifts;programming;business;horses;mba;math;education;animals;computer science;algebra;gre prep;sat study guide;games;gre;maker;study skills;sat prep 2018;art;chemistry;how to;weapons;mystery;biology;horse books;gaming;chocolate;security;sports;mathematics;nascar;statistics;business books;animal books;school;armenia;work;food,, , United States, en-UShttps://www.penguinrandomhouse.comcomputer;technology;computers;coding;code;algorithm;computer programming;clean code;algorithms;tech;coding for beginners;computer books;programmer gifts;computer programmer gifts;programming;business;horses;mba;math;education;animals;computer science;algebra;gre prep;sat study guide;games;gre;maker;study skills;sat prep 2018;art;chemistry;how to;weapons;mystery;biology;horse books;gaming;chocolate;security;sports;mathematics;nascar;statistics;business books;animal books;school;armenia;work;food, [BLURB],[CITY],,books, ebooks, biblet, Book2look