Code: 05016846
This text presents a language-based logic for procedures to derive computer programs from formal specifications. This formal approach is based upon design philosophy, and has been class-tested by the author throughout its developm ... more
Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.
You get 102 loyalty points
This text presents a language-based logic for procedures to derive computer programs from formal specifications. This formal approach is based upon design philosophy, and has been class-tested by the author throughout its development. The book also features examples, and solved exercises.
Book category Books in English Computing & information technology Computer science Computer architecture & logic design
40.56 €
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
Shopping cart ( Empty )