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
20%
92,74€
74,19€
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.

Coleções

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.