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 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Correctness-by-Construction Approach to Programming

Língua InglêsInglês
Livro Capa mole
Livro Correctness-by-Construction Approach to Programming Derrick G. Kourie
Código Libristo: 02685074
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maio 2014
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care... Descrição completa
? points 236 b
97.28 €
Armazenamento externo Envio em 8-11 dias

Até 30 dias para devoluções

Os clientes também compraram

Grenzen der Größe von Tieren und Pflanzen Ramin Amirmardfar / Livro Capa mole
common.buy 30.20 €
Valós idők Tonio Schachinger / Livro Livro de capa dura
common.buy 12.82 €

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.§

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 Correctness-by-Construction Approach to Programming
Autor Derrick G. Kourie, Bruce W. Watson
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 266
EAN 9783642448546
ISBN 3642448542
Código Libristo 02685074
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 433
Dimensões 155 x 235 x 16

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
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

The Sexopaths: When human nature escapes human control Bruce Beckham / Livro Capa mole
common.buy 9.08 €
She Landed On My Doorstep Floridawn Lewis / Livro Capa mole
common.buy 10.30 €
THE BOOMER'S BOOK OF CLASSIC ROCK GUITAR / Livro Capa mole
common.buy 18.28 €
Why God Won't Go Away McGrath Alister DPhil DD / E-book Adobe ePub DRM
common.buy 7.97 €

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?