Entrar Criar conta

O porto seguro das suas leituras. Indie, brasileiro e construído com carinho por leitoras e leitores.

Como funciona Populares Suporte

© 2026 TRAPICHE

Termos Privacidade

Programmverifikation, de Krzysztof R. Apt · Trapiche

Trapiche/Livros/Krzysztof R. Apt/Programmverifikation

Capa de Programmverifikation

Programmverifikation

Sequentielle, parallele und verteilte Programme

por Krzysztof R. Apt, Ernst-Rüdiger Olderog

Alemão·Springer Berlin Heidelberg·1994

Avaliações

O que os leitores acham

Ninguém avaliou esse livro ainda

Entre na sua conta e seja a primeira pessoa a avaliar.

Trechos que ficaram

Citações

Para ler

Onde encontrar

AmazonNovo, e-book e Kindle
Estante VirtualUsados em sebos
Google Play LivrosE-book e audiolivro

Links de busca por ISBN ou título. O Trapiche não vende livros.

Ficha técnica

Esta edição

Editora: Springer Berlin Heidelberg
Publicação: 1994
Idioma: Alemão
ISBN-13: 9783642579479
ISBN-10: 3642579477

Via Open Library · atualizado agora

Dados errados? Avise a gente

Mesmo autor

Mais de Krzysztof R. Apt

Capa de Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Capa de Constraint Logic Programming using Eclipse

Constraint Logic Programming using Eclipse

Capa de Principles of constraint programming

Principles of constraint programming

Capa de The Logic programming paradigm

The Logic programming paradigm

Capa de Logic Programming Languages

Logic Programming Languages

Capa de New perspectives on games and interaction

New perspectives on games and interaction

Capa de Meta-logics and logic programming

Meta-logics and logic programming

Capa de From logic programming to Prolog

From logic programming to Prolog

Capa de Foundations of deductive databases and logic programming

Foundations of deductive databases and logic programming

Capa de Logics and Models of Concurrent Systems

Logics and Models of Concurrent Systems

Leituras vizinhas

Quem leu esse, leu também

Capa de Principles of constraint programming

Principles of constraint programming

Krzysztof R. Apt

Capa de Meta-logics and logic programming

Meta-logics and logic programming

Krzysztof R. Apt

Capa de Constraint Logic Programming using Eclipse

Constraint Logic Programming using Eclipse

Krzysztof R. Apt

Capa de Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt

Capa de From logic programming to Prolog

From logic programming to Prolog

Krzysztof R. Apt

Capa de The Logic programming paradigm

The Logic programming paradigm

Krzysztof R. Apt