Go back

Rigorous Software Development An Introduction To Program Verification(2011 Edition)

Authors:

Jose Bacelar Almeida, Maria Joao Frade, Jorge Sousa Pinto, Simao Melo De Sousa

Free rigorous software development an introduction to program verification 2011 edition jose bacelar almeida,
10 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $15.99 Savings: $15.99(100%)

Book details

ISBN: 0857290177, 978-0857290175

Book publisher: Springer