eBook Details: Paperback: 175 pages Publisher: WOW! eBook (March 18, 2023) Language: English ISBN-10: 1484292588 ISBN-13: 978-1484292587 eBook Description: Introduction to Dependent Types with Idris: Encoding Program Proofs in Types Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This...
eBook Details: Paperback: 471 pages Publisher: WOW! eBook (April 14, 2023) Language: English ISBN-10: 1484292332 ISBN-13: 978-1484292334 eBook Description: Introducing .NET MAUI: Build and Deploy Cross-platform Applications Using C# and .NET Multi-platform App UI Interested in giving Microsoft’s new Multi-platform App UI (MAUI) a try? This Introducing .NET MAUI book provides developers...
eBook Details: Paperback: 435 pages Publisher: WOW! eBook (April 13, 2023) Language: English ISBN-10: 1484292278 ISBN-13: 978-1484292273 eBook Description: Continuous Integration (CI) and Continuous Delivery (CD): A Practical Guide to Designing and Developing Pipelines Use Continuous Integration (CI) and Continuous Delivery (CD) to improve the speed of software delivery. This book presents...
eBook Details: Paperback: 386 pages Publisher: WOW! eBook (March 24, 2023) Language: English ISBN-10: 180461288X ISBN-13: 978-1804612880 eBook Description: Mastering PLC Programming: Learn PLC programming from the software perspective to understand advanced concepts such as OOP and HMI development and design reusable, portable, and robust code Object-oriented programming (OOP) is a new...
eBook Details: Paperback: 461 pages Publisher: WOW! eBook; 2nd edition (April 7, 2023) Language: English ISBN-10: 1484292731 ISBN-13: 978-1484292730 eBook Description: Modern C++ for Absolute Beginners: A Friendly Introduction to the C++ Programming Language and C++11 to C++23 Standards, 2nd Edition Learn the C++ programming language in a structured, straightforward, and...
