Code: 04816015
This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques. ... more
English
31.57 €
Availability:
50/50
We think title might be available. Upon your order we will do our best to get it within 6 weeks.
Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.
You get 77 loyalty points
Book synopsis
This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.
Book details
Book category Books in English Computing & information technology Computer programming / software development Software Engineering
31.57 €
English
Collection points Bratislava a 12730 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25464 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)Shopping cart ( Empty )