Principles of Model checking

Na minha lista:
Detalhes bibliográficos
Main Authors: Baier, Christel (Author), Katoen, Joost-Pieter (Author)
Formato: Livro
Idioma:inglês
Publicado em: Cambridge : MIT Press, 2008
Assuntos:
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!