Jaco van der Pol & Michael Weber 
Model Checking Software [PDF ebook] 
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Coding with Scratch – Make 3D Games & Graphics starts by showing you how to make 3D graphics and then, step-by-step, it takes you through to making 3D games. Try the challenges and mods and make your …

This collection of articles provides practical and relevant tools, tips, and techniques for those working in the digital audio field. Volume III, with contributions from experts in their fields, incl …

If you are a typical Oracle professional, you don »t have the luxury of time to keep up with new technology and read all the new manuals to understand each new feature of the latest release from Orac …

R for Data Analysis in easy steps, 2nd edition has an easy-to-follow style that will appeal to anyone who wants to produce graphic visualizations to gain insights from gathered data. The book begins …

A comprehensive guide that takes you on a journey through the world of design patterns in .NET, empowering you to create software that is not only robust and efficient but also maintainable, scalable …

The basics of Python are the book’s main focus. With practical examples, students will understand the fundamentals of Python. This book is designed in a way that should make every example understanda …

The best way to learn software engineering is by understanding its core and peripheral areas. Foundations of Software Engineering provides in-depth coverage of the areas of software engineering that …

The impressive Godot game engine allows any programmer to start making 2D and 3D games without any specialized language requirements. In addition, this game engine makes it simple to design video gam …