Corina S Pasareanu 
Model Checking Software [PDF ebook] 
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Now in its third edition, this bestseller will appeal to anyone, of any age, who wants to begin coding. Use Coding for Beginners in easy steps to help you quickly create a programming environment on …

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 …

Beginners in the programming world often wander to get some essential books to learn logic building with the help of algorithms, flowcharts, and minor C/Python language code. Addressing this demand, …

Develop your programming skills by exploring essential topics such as code reviews, implementing TDD and BDD, and designing APIs to overcome code inefficiency, redundancy, and other problems arising …

Develop modern web UIs with Blazor Server and Blazor Web Assembly now introducing Streaming and Static Server-Side Rendering (SSR) and flexible hosting models in .NET 8Purchase of the print or Kindle …

Although many software books highlight open problems in secure software development, few provide easily actionable, ground-level solutions. Breaking the mold, Secure and Resilient Software Developmen …

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 …

Packed with dozens of no-nonsense chapters written by leading professionals, Handbook of Data Management, 1999 Edition shows your students how to design, build, and maintain high-performance, high-av …

A beginner”s guide to simplifying Extract, Transform, Load (ETL) processes with the help of hands-on tips, tricks, and best practices, in a fun and interactive way Key Features

• Explore data …