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

A Theory and Practice of Program Development

Língua InglêsInglês
Livro Capa mole
Livro A Theory and Practice of Program Development Derek J. Andrews
Código Libristo: 06810125
Editoras Springer, Berlin, junho 1997
A Theory and Practice of Program Development provides a comprehensive introduction to a software dev... Descrição completa
? points 125 b
51.68 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Cirugía mínimamente invasiva en periodoncia Lalitha T. Arunachalam / Livro Capa mole
common.buy 36.91 €
Věchýtek Kasandřin Pavel Josefovič Hejátko / Livro Capa mole
common.buy 5.35 €
Visage retrouvé Mouawad / Livro Capa mole
common.buy 20.22 €
Educar con el cine : 22 películas María Ángeles Almacellas Bernadó / Livro Capa mole
common.buy 15.16 €
Pielegniarstwo pediatryczne / Livro Capa mole
common.buy 44.09 €
Traite Des Resistances Du Cheval Ou Methode Raisonnee de Dressage Des Chevaux Difficiles (Ed.1877) Adolphe-Gustave Gerhardt / Livro Capa mole
common.buy 26.90 €
Mouy Et Ses Environs: Angy, Bury, Ansacq, Cambronne, Heilles, Hondainville, (Ed.1873) Antoine-Joseph Warme / Livro Capa mole
common.buy 31.65 €
Aus den Zeiten des deutschen Fürstenbundes. Akademische Rede zum Geburtsfest des höchstseligen Grossherzogs Karl Friedrich, etc. Bernhard Erdmannsdoerffer / Livro Capa mole
common.buy 13.24 €

A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is assumed, thus making it widely accessible. A Theory and Practice of Program Development is intended for 3rd/4th year undergraduate and postgraduate students taking formal methods and software engineering; software developers involved in the production of provably correct computer systems and reusa ble design and the problems of reusable code.

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 A Theory and Practice of Program Development
Autor Derek J. Andrews
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1997
Número de páginas 405
EAN 9783540761624
ISBN 3540761624
Código Libristo 06810125
Editoras Springer, Berlin
Peso 638
Dimensões 156 x 234 x 21

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
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

Encyclodpedia of Old Fishing Lures Robert A. Slade / Livro Capa mole
common.buy 25.99 €
Lioness: Cygnus Five Book One: A Galaxy Spanning Space Opera Alex Oliver / Livro Capa mole
common.buy 12.33 €
AQA German A Level Year 1 and AS Audio CDs Erika Klingler / Áudio CD de áudio
common.buy 126.34 €
Steps to Christ Ellen G. White 1908 Iacob Adrian / Livro Capa mole
common.buy 7.27 €
ACTING 2/E Joe Alberti / Livro Capa mole
common.buy 34.08 €
Specter of Global China Ching Kwan Lee / Livro Capa mole
common.buy 33.47 €
Master Your Disaster: Family Edition: Your Readiness, Response and Recovery Prep Guide Leann Hackman-Carty / Livro Capa mole
common.buy 8.08 €
TRAIT TH OLOGIQUE ET PHILOSOPHIQUE DE L LOUIS ELLIES DU PIN / Livro Livro de capa dura
common.buy 36.41 €
Licking County's Gallant Soldiers Newark / Livro Capa mole
common.buy 13.85 €
Dissertations on the Genuineness of the Pentateuch E. W. Hengstenberg / Livro Capa mole
common.buy 81.93 €
Crime and Compensation in North Africa Christine Sagar / Livro Livro de capa dura
common.buy 74.54 €
The World Almanac and Book of Facts 2024 Janssen / Livro Livro de capa dura
common.buy 31.65 €
From a Nobody to Somebody The Heavenly Journey / Livro Capa mole
common.buy 11.32 €
Eagle's Heart Hamlin Garland / Livro Capa mole
common.buy 15.77 €
Guide to Carisbrooke Castle, Isle of Wight ... Rearranged by Captain J. Markland, with Notes by Percy G. Stone ... Revised Edition. Percy Goddard Stone / Livro Capa mole
common.buy 15.47 €
For an Hour, We Lived from Flowers Owi I Nandi / Livro Livro de capa dura
common.buy 16.78 €
A COMMUNICATION ARCHITECTURE FOR MOBILE AD HOC NETWORKS Orhan Dagdeviren / Livro Capa mole
common.buy 47.43 €
Control Theory Methods in Economics Jati Sengupta / Livro Capa mole
common.buy 154.36 €
Boundaries of Adult Learning Richard Edwards / Livro Capa mole
common.buy 71.91 €
Wireless Multimedia Communication Systems Bojan M. Bakmaz / Livro Livro de capa dura
common.buy 373.36 €
Enabling Reflective Learning in Lifelong Career Guidance Francesco Consoli / Livro Livro de capa dura
common.buy 88.10 €
Escape JEFF POVEY / Livro Capa mole
common.buy 8.69 €
Days We Remember / Livro Livro de capa dura
common.buy 26.90 €
Oxford Reading Tree TreeTops Fiction: Level 9: Dexter's Dinosaurs Michaela Morgan / Livro Capa mole
common.buy 13.04 €

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