Stephane Demri & Valentin Goranko 
Temporal Logics in Computer Science [EPUB ebook] 
Finite-State Systems

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 …

A collection of best practices and effective implementation recommendations that are proven to work, Secure, Resilient, and Agile Software Development leaves the boring details of software security t …

This book will take you on an interactive journey to master SQL querying from the most fundamental to the most advanced level using various T-SQL techniques to provide meaningful insights from your S …

Kotlin is a modern, expressive, and concise programming language popular among developers for its many benefits. These include its interoperability with Java, ability to build native mobile and web a …

In the last decade, Power Shell has propelled in every way in the automation arena. Since the inception of Power Shell, it has become a de facto tool for automation, and it is the favorite solution o …

Software Maintenance Success Recipes identifies actionable formulas for success based on in-depth analysis of more than 200 real-world maintenance projects. It details the set of factors that are usu …

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 …