Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Temporal Logic of Programs

Name: Temporal Logic of Programs
Brand: Springer, Berlin
SKU: 06624859
Price: 47.61 EUR
Availability: InStock
Author: Fred Kroger
ISBN: 9783642715518

Fred Kroger

Língua

Inglês

Livro Capa mole

Código Libristo: 06624859

Editoras Springer, Berlin, novembro 2011

Introduction to the temporal logic of - in particular paral-§lel - programs.Divided into three main... Descrição completa

Código Libristo: 06624859

115 b

47.61 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Coelln an der Spree Hansj Rgen Vahldiek

Capa mole

10.28 €

Casa magica del arbol 5/La noche de los guerreros Ninja Mary Pope Osborne

Capa mole

9.17 €

Introduction to the temporal logic of - in particular paral-§lel - programs.Divided into three main parts: - Presenta-§tion of the pure temporal logic: language, semantics, and§proof theory; - Representation of programs and their proper-§ties within the language of temporal logic; - Application of§the logical apparatus to the verification of program proper-§ties including a new embedding of Hoare's logic into the§temporal framework.