Corina S Pasareanu 
Model Checking Software [PDF ebook] 
16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, 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 …

An effective systems development and design process is far easier to explain than it is to implement. A framework is needed that organizes the life cycle activities that form the process. This framew …

Enhancing LAN Performance, Fourth Edition explains how to connect geographically separated LANs with appropriate bandwidth, the issues to consider when weighing the use of multiport or dualport devic …

Vous n’imaginez pas le temps qu’une architecture logicielle bien soignee des le depart peut vous faire gagner. Vous pouvez augmenter fortement la productivite du developpement tout au long du cycle d …

Proprement codeur est entierement consacre a la professionnalisation du metier de developpeur de logiciels. Plus que la technique, il privilegie l’attitude. Le livre regorge de conseils, de l’estimat …

Blockchain secures individual transactions with cryptography, creating a tamper-proof chain. In contrast, distributed ledger technologies cover various technologies that may not adhere strictly to bl …

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 …

Take a hands-on approach to understanding deep learning and build smart applications that can recognize images and interpret text Key Features

• Understand how to implement deep learning with …