Amvik eBook Solutions
Read and Download eBook Online Now
Related Books
Language: en
Pages: 264
Pages: 264
Type: BOOK - Published: 1990 - Publisher: Addison-Wesley Professional
In 1987, The University of Texas at Austin sponsored the Year of Programming, which consisted of six institutes on selected topics in computer programming. Lead
Language: en
Pages: 492
Pages: 492
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested i
Language: en
Pages: 594
Pages: 594
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating
Language: en
Pages: 414
Pages: 414
Type: BOOK - Published: 2011-11-18 - Publisher: Springer Science & Business Media
This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in Dec
Language: en
Pages: 421
Pages: 421
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is ri
