Title: C++20 Recipes: A Problem-Solution Approach, Author: J. Burton Browning
Title: Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,, Author: Laure Petrucci
Title: Beginning C++20: From Novice to Professional, Author: Ivor Horton
Title: Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings, Author: Kim Guldstrand Larsen
Title: Programming Language Concepts, Author: Peter Sestoft
Title: Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings, Author: Xinyu Feng
Title: Command-Line Rust: A Project-Based Primer for Writing Rust CLIs, Author: Ken Youens-Clark
Title: Complete Guide to Test Automation: Techniques, Practices, and Patterns for Building and Maintaining Effective Software Projects, Author: Arnon Axelrod
Title: String Algorithms in C: Efficient Text Representation and Search, Author: Thomas Mailund

Pagination Links