Kód: 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 ... celý popis
Zadajte do formulára e-mailovú adresu a akonáhle knihu naskladníme, zašleme vám o tom správu. Postrážime všetko za vás.
Nákupom získate 107 bodov
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.
Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Computer architecture & logic design
43.55 €
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
Nákupný košík ( prázdny )