Principles of Model Checking Bert Wienen the study book helps schools

the study book helps schools shape optimal parental involvement

A positive work culture significantly increases both performance and productivity

en is geschikt voor gebruik in het onderwijs

albeit with a dictionary at hand

Principles of Model Checking Bert Wienen the study book helps schoolsPrinciples of Model Checking van Christel Baier, verbonden aan Technische Universitt Dresden, is een uitgebreid studieboek over model checking in de informatica. Dit naslagwerk biedt diepgaande theoretische kennis en praktische inzichten, geschikt voor studenten en professionals die zich willen verdiepen in formele verificatietechnieken. Productspecificaties Auteur: Christel Baier (Technische Universitt Dresden) Serie: Principles of Model Checking