Programação

Verification Of Sequential And Concurrent Programs

de Krzysztof R. Apt, Ernst-Rudiger Olderog e Frank S. De Boer 

eBook
Bertrand.pt - Verification Of Sequential And Concurrent Programs
idioma: Inglês
Editor: SPRINGER LONDON
Edição: setembro de 2009
10%
92,74€
Poupe 9,27€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.

Da mesma coleção

ver +
Programming Language Design And Implementation
20%
portes grátis
20% Cartão Leitor Bertrand
87,86€
Poupe 17,57€
Springer International Publishing AG
Programming Language Design And Implementation
20%
portes grátis
20% Cartão Leitor Bertrand
74,34€
Poupe 14,87€
Springer International Publishing AG
Verification Of Sequential And Concurrent Programs
de Krzysztof R. Apt, Ernst-Rudiger Olderog e Frank S. De Boer 
ISBN:
9781848827455
Ano de edição:
09-2009
Editor:
SPRINGER LONDON
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Texts In Computer Science
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Informática  >  Programação

EAN:
9781848827455
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.