Verified Software

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014 eBooks & eLearning

Posted by insetes at Nov. 18, 2018

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers By Dimitra Giannakopoulou, Daniel Kroening (eds.)
2014 | 287 Pages | ISBN: 3319121537 | PDF | 16 MB

Details

Verified Software: Theories, Tools, Experiments eBooks & eLearning

Posted by step778 at Oct. 16, 2024

Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani, "Verified Software: Theories, Tools, Experiments"
English | 2010 | pages: 227 | ISBN: 364215056X | PDF | 2,4 mb

Details

Software Verification eBooks & eLearning

Posted by AvaxGenius at March 11, 2022

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers by Roderick Bloem
English | EPUB | 2022 | 207 Pages | ISBN : 3030955605 | 23.9 MB[[/center]
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.

Details

Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles eBooks & eLearning

Posted by roxul at Dec. 5, 2020

Maria Christakis, "Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles"
English | ISBN: 3030636178 | 2020 | 239 pages | PDF | 14 MB

Details

Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe Online eBooks & eLearning

Posted by Free butterfly at Dec. 19, 2023

Details

Mastering The Laws Of UX: Tested, Verified and Established Strategies for Crafting Extraordinary Digital Experiences eBooks & eLearning

Posted by TiranaDok at April 23, 2024

Details

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th Inte eBooks & eLearning

Posted by arundhati at March 6, 2022

Roderick Bloem, "Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th Inte"
English | ISBN: 3030955605 | 2022 | 211 pages | PDF | 9 MB

Details

Program Logics for Certified Compilers eBooks & eLearning

Posted by DZ123 at March 19, 2019

Andrew W. Appel, Robert Dockins, Aquinas Hobor, "Program Logics for Certified Compilers"
English | 2014 | ISBN: 110704801X | PDF | pages: 472 | 1.9 mb

Details

Verified Signal Processing Algorithms in MATLAB and C: Advised by Israel Greiss eBooks & eLearning

Posted by AvaxGenius at Sept. 11, 2022

This book is written for engineers who need to develop algorithms used for signal processing and/or implement algorithms using the C programming language or MATLAB. The book features a rich collection of recipes for applied signal processing such as FIR, IIR, FFT, correlation, complex FIR, adaptive filters and others. The book applies to those who want to implement in the shortest time to market working systems that are built from a collection of building blocks implemented in an FPGA firmware or C language software, running on an SBC or DSP. Structured as an instantly applicable guide, the author covers a wide collection of required solutions to common encountered problems with a software guide.

Details

Blockchain: Practical dApps Development using Solidity eBooks & eLearning

Posted by BlackDove at Jan. 27, 2022

Using Ethereum, Solidity, and Smart Contracts to build dApss with Web3, React and IPFS

Details