Warning: Invalid argument supplied for foreach() in /home/vmweb/public_html/quotesfantacy.com/wp-content/themes/onepress/search.php on line 46
Related Books
Language: en
Pages: 284
Pages: 284
Type: BOOK - Published: 2016-02-01 - Publisher: Morgan & Claypool
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in t
Language: en
Pages: 271
Pages: 271
Type: BOOK - Published: 2018-11-19 - Publisher: Springer
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2
Language: en
Pages: 498
Pages: 498
Type: BOOK - Published: 2023-03-07 - Publisher: MIT Press
This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification-aware
Language: en
Pages: 215
Pages: 215
Type: BOOK - Published: 2017-01-06 - Publisher: Springer
This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in Ja
Language: en
Pages: 241
Pages: 241
Type: BOOK - Published: 2016-04-01 - Publisher: Morgan & Claypool
Is Internet software so different from “ordinary” software? This book practically answers this question through the presentation of a software design method