Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on...

A practical cookbook, filled with advanced recipes , and plenty of code and commands used for illustration,which will make your learning curve easy and quick.

This book is for anyone who wants to learn more about databases in general or MariaDB in particular. Some familiarity with SQL databases is assumed, but the recipes are...

• Write complex processing job codes easily with the help of clear and step by...

A blueprints book with 10 different projects built in 10 different chapters which demonstrate the various use cases of storm for both beginner and intermediate users, grounded in real-world example applications.

Although the book focuses primarily on Java development with Storm, the patterns are more broadly applicable and...

This is the third edition of David Powers' highly-respected PHP Solutions: Dynamic Web Design Made Easy. This new edition has been updated by David to incorporate changes to PHP since the second edition and to offer the latest techniques—a classic guide modernized for 21st century PHP techniques,...

• Learn how to publish code review requests and analyze code in...

An all-in-one resource on everything electronics-related! For almost 30 years, this book has been a classic text for electronics enthusiasts. Now completely updated for today's technology, this latest version combines concepts, self-tests, and hands-on projects to offer you a completely repackaged and revised resource. This unique...

• Provides you with coverage of all the new Visual Studio 2013...

This book gives the...