Crie uma conta gratuita e continue exatamente desta página.
Crie uma conta gratuita e continue exatamente desta página.
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann Institute of Science, Israel, respectively.
Livros na mesma categoria
Finite Element Method Using Matlab, The
Young W. Kwon
Sendmail
Bryan | Allman Eric Costales
Certificação Linux
Juliano Ramos
Politicas e Normas para a Segurança da Informaçao
Edison Fontes
Creating Killer Web Sites
Kate Hayden
Web Service Contract Design And Versioning For Soa
Thomas | Karmarkar Anish | Walmsley Priscilla | Haas Hugo | Yalcinalp L. Umit | Liu Kevin | Orchard David | Tost Andre | Pasley James Erl
Java Library Of Graph Algorithms And Optimization
Hang T. Lau
Mcts Self-Paced Training Kit (Exam 70-561) Microsoft.Net Framework 3.5-Ado.Net Application Develop.
Shawn Wildermuth
Conectado Pelas Ideias
Jeffrey M. Stibel
Introduçao a Arquitetura de Mainframe e ao Sistema Operacional Z/os
Jorge Barbara de | Soares Jorge de Abreu VáRios Autores | Oliveira
Data Visualization
Ronaldo Braghittoni
Pattern-Oriental Software Architecture Vol.4
Douglas | Buschmann Frank | Henney Kevlin Schmidt
Dicas e recomendações para leitores
Clubes de leitura escolares aumentam o engajamento, reduzem o abandono da leitura e criam laços entre alunos. Um guia prático para professores que querem montar o seu.
Em um mundo de algoritmos e vídeos infinitos, criar um filho leitor parece missão impossível. Mas há estratégias simples e comprovadas para fazer os livros competirem, e ganharem.
A literatura africana vive um momento extraordinário. De Chimamanda a Mia Couto, autores do continente estão entre os mais premiados e relevantes da atualidade.
Para escolas, universidades, autores e editoras
