eBook Details: Paperback: 151 pages Publisher: WOW! eBook (March 1, 2022) Language: English ISBN-10: 1484279778 ISBN-13: 978-1484279779 eBook Description: Introducing Software Verification with Dafny Language: Proving Program Correctness Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are...
eBook Details: Paperback: 154 pages Publisher: WOW! eBook (March 1, 2022) Language: English ISBN-10: 1484279352 ISBN-13: 978-1484279359 eBook Description: Patterns of Software Construction: How to Predictably Build Results Master how to implement a repeatable software construction system. This Patterns of Software Construction book closely examines how a system is designed to...
eBook Details: Paperback: 653 pages Publisher: WOW! eBook (April 13, 2022) Language: English ISBN-10: 1484279174 ISBN-13: 978-1484279175 eBook Description: Modern Parallel Programming with C++ and Assembly Language: X86 SIMD Development Using AVX, AVX2, and AVX-512 Learn the fundamentals of x86 Single instruction multiple data (SIMD) programming using C++ intrinsic functions and...
eBook Details: Paperback: 332 pages Publisher: WOW! eBook (March 27, 2022) Language: English ISBN-10: 1484280660 ISBN-13: 978-1484280669 eBook Description: Pro Serverless Data Handling with Microsoft Azure: Architecting ETL and Data-Driven Applications in the Cloud Design and build architectures on the Microsoft Azure platform specifically for data-driven and ETL applications. Modern cloud...
eBook Details: Paperback: 446 pages Publisher: WOW! eBook (March 3, 2022) Language: English ISBN-10: 1801071381 ISBN-13: 978-1801071383 eBook Description: Hands-On Azure Digital Twins: Build your own digital twin in no time! In today’s world, clients are using more and more IoT sensors to monitor their business processes and assets. Think about...
