Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Verification of Sequential and Concurrent Programs

Língua InglêsInglês
Livro Capa mole
Livro Verification of Sequential and Concurrent Programs Ernst-Rudiger Olderog
Código Libristo: 08577018
Editoras Springer London Ltd, março 2012
This book explores one of the most common approaches to program verification, known as the assertion... Descrição completa
? points 174 b
71.80 €
Armazenamento externo Envio em 8-11 dias

Política de devolução de 30 dias

Os clientes também compraram

PEINTURES ET STUCS D'ÉPOQUE ROMAINE, ÉTUDES TOICHOGRAPHOLOGIQUES BOISLÈVE JULIEN/DARDENAY ALEXANDRA/MONIER FLORENCE / Livro Livro de capa dura
common.buy 44.76 €
Kritische Theorie und die Studien zur Authoritarian Personality Anna Füller / Livro Capa mole
common.buy 12.75 €
Elmar und Willi, Deutsch-Türkisch. Elmer ve Willi David McKee / Livro Capa mole
common.buy 9.00 €
Мёртвые души Николай Гоголь / Livro Capa mole
common.buy 8.40 €
Samsø Kulturreiseführer Kristen Benning / Livro Capa mole
common.buy 15.99 €
Quand les animaux nous font du bien Paoli laurence / Livro Capa mole
common.buy 21.36 €
Le second crime de la Dame en noir - roman Lorde Livro Capa mole
common.buy 19.94 €
Triomphe Du Christ, Histoire Du Sacre-Coeur de Montmartre PIERREFEUX-D / Livro Capa mole
common.buy 24.30 €
Metadona e os Tratamentos de SubstituiÇao, A W. LOWENSTEIN / Livro Livro
common.buy 17.39 €
Les Malformations Neuro-Orthop diques Apr s F condation in Vitro El Hage-S / Livro Capa mole
common.buy 30.78 €
Currywurstfuhrer Schleswig-Holstein Carsten Dethlefs / Livro Capa mole
common.buy 8.09 €
Debats Humanistes Sur La Langue Parlee Dans L'Antiquite Flavio Biondo / Livro Capa mole
common.buy 73.01 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Verification of Sequential and Concurrent Programs
Autor Ernst-Rudiger Olderog
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 502
EAN 9781447125136
ISBN 9781447125136
Código Libristo 08577018
Editoras Springer London Ltd
Peso 746
Dimensões 156 x 235 x 28

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Informática & tecnologia da informação > Programação & engenharia informática > Algoritmos e estruturas de dados
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Who Wrote The Book of Death? MR Steve Liskow / Livro Capa mole
common.buy 14.07 €
"JEALOUSY" Sarah Flowers / Livro Capa mole
common.buy 13.36 €
Fighting Chances: MM Enemies to Lovers Anthology E. M. Leya / Livro Capa mole
common.buy 22.47 €
Hawks Kettle, Puffins Wheel Susan Vande Griek / Livro Livro de capa dura
common.buy 15.28 €
Stars in His Eyes Marti Gironell / Livro Livro de capa dura
common.buy 21.97 €
Real Estate Smart: The New Home Buying Guide Matt Parker / Livro Capa mole
common.buy 9.51 €
Parenting Skills Homework Planner (w/ Download) Sarah Edison Knapp / Livro Capa mole
common.buy 59.54 €
CHRONOLOGY; OR, THE HISTORIAN'S COMPANIO THOMAS TEGG / Livro Livro de capa dura
common.buy 29.46 €
The United States and the Developing Economies the United States and the Developing Economies Gustav Ranis / Livro Capa mole
common.buy 20.85 €
Eighth Method Brian Bain / Livro Capa mole
common.buy 10.12 €
Principal
Who Are We?, English edition Samuel P. Huntington / Livro Capa mole
common.buy 13.46 €
Housing in Rural America Joseph N. Belden / Livro Capa mole
common.buy 45.06 €
Social work in end-of-life and palliative care Malcolm Payne / Livro Capa mole
common.buy 29.67 €
Tuttle Learner's Chinese-English Dictionary Li Dong / Livro Capa mole
common.buy 30.48 €
Superconductors at the Nanoscale Roger Wördenweber / Livro Livro de capa dura
common.buy 142.29 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?