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 Livro de capa dura
Livro Correctness-by-Construction Approach to Programming Derrick G. Kourie
Código Libristo: 01660456
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2012
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care... Descrição completa
? points 263 b
108.53 €
Armazenamento externo Envio em 10-13 dias

Até 30 dias para devoluções

Os clientes também compraram

Thrombosen und Embolien: Arzthaftung K. J. Husfeldt / Livro Capa mole
common.buy 55.93 €
Principal
J'aime niveau 3 cahier d'exercices Adrien Payet / Livro Capa mole
common.buy 11.93 €
Gitanilla El Hada de los Patios: Edición en Blanco y Negro José Manuel Rosario / Livro Capa mole
common.buy 11.22 €
Sáček textil béžový 25x39cm mix / Livro binding.
common.buy 4.04 €
Na Zemi jsme na okamžik nádherní Františka Schormová / Livro Livro de capa dura
common.buy 12.63 €
Tetris – hra, ktorá zmenila dejiny Box Brown / Livro Capa mole
common.buy 17.39 €
Kosmokluk David Walliams / Livro Capa mole
common.buy 15.47 €
Nattens odjur Krefeld / Audiolivro MP3
common.buy 6.36 €
Supersensible Impulses P. King / Livro Capa mole
common.buy 23.15 €
SAN ANTONIO T3 TITRE A PRECISER Sanlaville / Livro Livro de capa dura
common.buy 18.30 €
Económico
Good Boy - Jófiú Elle Kennedy / Livro Livro de capa dura
common.buy 7.07 €
Diercke Praxis 7e/6e. Schulbuch. Ausgabe für Luxemburg / Livro Livro de capa dura
common.buy 41.87 €
Puedo Mirar Tu Regalo Guido van Genechten / Livro Livro de capa dura
common.buy 15.37 €
Introducción al Derecho de la Seguridad Social Santiago González Ortega / Livro Capa mole
common.buy 35.39 €
Die Vorsokratischen Philosophen Geoffrey S. Kirk / Livro Capa mole
common.buy 25.08 €
Im Reiche Des Silbernen Lowen 3 Karl May / Livro Capa mole
common.buy 19.01 €
Las voces bajas Manuel Rivas / Livro Capa mole
common.buy 19.31 €
Histoire de La R'Volution Russe. La R'Volution D'Octobre T2 L'On Trotsky / Livro Capa mole
common.buy 12.33 €
AutoCAD 2008, paso a paso Rafael Ábalos Bergillos / Livro Capa mole
common.buy 28.21 €
Histoire Du Grand Et Veritable Chevalier Caissant Bonnet-J / Livro Capa mole
common.buy 18.00 €
Histoire de Sainte Monique 5e Edition Bougaud-L-E / Livro Capa mole
common.buy 40.15 €
111 Gründe, Atlético Madrid zu lieben André Kahle / Livro Capa mole
common.buy 14.35 €
La negociación del convenio colectivo estatutario Francisco Ramón Lacomba Pérez / Livro Capa mole
common.buy 19.01 €
Arabesky Jan Neruda / Livro Livro de capa dura
common.buy 8.39 €

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 - Livro de capa dura
Data de emissão 2012
Número de páginas 266
EAN 9783642279188
ISBN 364227918X
Código Libristo 01660456
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 556
Dimensões 165 x 235 x 26

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 > 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 Spaewife: A Tale of the Scottish Chronicles, Volume 2 John Galt / Livro Capa mole
common.buy 21.94 €
Three Grimm's Fairy Tales Rudolf Steiner / Livro Livro de capa dura
common.buy 24.57 €
Your Child at Play Marilyn Segal / Livro Capa mole
common.buy 23.56 €
Elizabeth Bishop Robert Giroux / Livro Livro de capa dura
common.buy 33.47 €
Weaving Carpets - The History of the Manufacture and Machinery Clinton G. Gilroy / Livro Capa mole
common.buy 29.63 €
Hark to These Three Talk about Style T Sturge 1870-1944 Moore / Livro Livro de capa dura
common.buy 29.73 €
Egret Ranch Andrew Gaeddert / Livro Capa mole
common.buy 13.75 €
MTEL Reading Specialist (62) Flashcard Study System / Jogo/brinquedo Jogo
common.buy 75.86 €
Trafficking of Women in India Mondira Dutta / Livro Capa mole
common.buy 31.15 €
ESP8266 Internet of Things Cookbook MARCO SCHWARTZ / Livro Capa mole
common.buy 36.41 €
The Winter Wives MacIntyre / Livro Capa mole
common.buy 12.94 €
Raw Food/Real World Matthew Kenney / E-book Adobe ePub DRM
common.buy 26.80 €
The Philosophy of Bookkeeping George Radford / Livro Capa mole
common.buy 14.56 €
The Government of England. Volume 2 of 2 A Lawrence Lowell / Livro Capa mole
common.buy 30.74 €
Ketogenic Diet: The Ultimate guide for beginners Holly Barnes / Livro Capa mole
common.buy 9.80 €
Botanical Illustration Price Valerie Price / E-book Adobe ePub DRM
common.buy 25.38 €
Between the Ticks of the Watch Kevin Beasley / Livro Capa mole
common.buy 33.47 €
Employee Engagement for Organizational Change HODGES / Livro Livro de capa dura
common.buy 244.39 €
The Hidden Life of Jesus: A Lesson and Model to Christians: Large Print Edition Henri-Marie Boudon / Livro Capa mole
common.buy 19.51 €
Rehoboth in the Past. an Historical Oration Delivered on the Fourth of July, 1860 SYLVANUS CHA NEWMAN / Livro Livro de capa dura
common.buy 47.84 €
Breach of Contract Oliver Hofmann / E-book Adobe ePub DRM
common.buy 147.28 €
Black and White Media - Black Images in Popular Film and Television Karen Ross / Livro Capa mole
common.buy 25.48 €
Advanced Network Programming - Principles and Techniques Bogdan Ciubotaru / Livro Livro de capa dura
common.buy 54.41 €
Charting Transformation through Security Toni Haastrup / Livro Livro de capa dura
common.buy 58.46 €

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