Crie uma conta gratuita e continue exatamente desta página.
Crie uma conta gratuita e continue exatamente desta página.
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises.
Livros na mesma categoria
O BáSico da Modelagem 3d com o Blender
Diego Martins de | Escudelario Bruna Pinho
C++ And The Object-Oriented Paradigm - An Is Perspective
Jan L. Harrington
Jflap: An Interactive Formal Languages And Automata Package
Susan H. Rodger
Artificial Dreams - The Quest For Non-Biological Intellingence
H.R. Ekbia
SemióTica da Ia
LúCia | Cruz Kalynka Santaella
Flex 3 Cookbook
Josuha J. | Anderson Todd Noble
Belief Revision
Peter Gardenfors
Excel - CáLculos para Engenharia
Bruna Fernanda de Sousa | Muora Luiz Fernando de Roque
Iniciando com Flutter Framework
Leonardo H. Marinho
Certificação Linux
Juliano Ramos
Logic, Methodology And Philosophy Of Science
Luis M. Valdes | Westerstahl Dag | Hajek Petr Villanueva
Introdução à Segurança Ofensiva
Joas Antonio dos | Franco Deivison Pinheiro | Soares Cleber Santos
Dicas e recomendações para leitores
Biografias permitem viver outras vidas sem sair do sofá. Uma seleção das memórias e biografias mais fascinantes dos últimos anos, de gênios, sobreviventes e revolucionários.
Literatura de viagem é mais que guia turístico. Os melhores livros do gênero transformam lugares em experiências e fazem você viajar sem sair do sofá.
Uma meta de leitura bem definida aumenta drasticamente a chance de você ler mais. Aprenda a calcular uma meta realista, como acompanhá-la e o que fazer quando ficar para trás.
Para escolas, universidades, autores e editoras
