Crie uma conta gratuita e continue exatamente desta página.
Crie uma conta gratuita e continue exatamente desta página.
Describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as formal language for behavioral properties, and model-checking algorithms.
Livros na mesma categoria
Microsoft Windows Vista - Exam 77-600
Microsoft Official Academic Course
Advanced Rails
Brad Ediger
Real World Haskell
Bryan O'Sullivan
Neural Networks Signal Processing
Fa-Long Luo
Securing e-Business Systems
Braithwaite
Aprenda Python 3 do Jeito Certo
Zed a. Shaw
Capacity Management
Van Haren Publishing
Programming Language - Principles And Paradigms
Adesh K. Pandey
Level Design no Desenvolvimento de Games
Leandro da Conceição Cardoso
Crenças e Tecnologias
Luis Carlos Lopes
Gis For The Urban Environment
Juliana Maantay
Mobile Robotics - a Practical Introduction
Ulrich Nehmzow
Dicas e recomendações para leitores
Registrar o progresso de leitura vai muito além de saber em qual página você parou. Veja como o acompanhamento transforma a motivação, a disciplina e até a compreensão dos textos.
Para entender o Brasil de hoje, é preciso conhecer o Brasil de ontem. Uma seleção dos livros de história que mais iluminam nossas raízes, contradições e possibilidades.
Para combater o racismo, é preciso primeiro entendê-lo. Uma seleção de obras que revelam como o racismo estrutural moldou, e continua moldando, a sociedade brasileira.
Para escolas, universidades, autores e editoras
