Søgning - alle produkter
Find og sammenlign priser på produkter fra danske webshops. Brug søgefeltet eller browse efter kategorier for at finde det du leder efter.
Christel Baier og Joost-Pieter Katoen
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical ex
1.199,95 kr.