WOW! eBook

Daily Archive: December 9, 2018

Head First PMP, 4th Edition 1

Business & Management / Certification & Education

Head First PMP, 4th Edition

eBook Details: Paperback: 928 pages Publisher: WOW! eBook; 4th edition (September 21, 2018) Language: English ISBN-10: 1492029645 ISBN-13: 978-1492029649 eBook Description: Head First PMP: A Learner’s Companion to Passing the Project Management Professional Exam, 4th Edition

Practical TLA+: Planning Driven Development 0

Programming / Software Development

Practical TLA+: Planning Driven Development

eBook Details: Paperback: 248 pages Publisher: WOW! eBook; 1st edition (October 12, 2018) Language: English ISBN-10: 1484238281 ISBN-13: 978-1484238288 eBook Description: Practical TLA+: Planning Driven Development Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs. You’ll learn how even a short TLA+ spec can find critical bugs. Start by getting your feet wet with an example of TLA+ used in a bank...