'Principles of Model Checking' - Christel Baier, Joost-Pieter Katoen, Christel (Technische Universitat Dresden) Baier og Joost-Pieter - Bog

Brand: Christel Baier, Joost-Pieter Katoen, Christel (Tec

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 exercises. Our growing dependence on increasingly complex

Reklamelink — vi modtager en kommission fra produkter købt igennem siden. Det påvirker ikke prisen for dig. Der tages forbehold for udsolgte varer, tastefejl og prisændringer.