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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Program Development by Refinement

Case Studies Using the B Method

Língua InglêsInglês
Livro Capa mole
Livro Program Development by Refinement Emil Sekerinski
Código Libristo: 01435128
Editoras Springer London Ltd, outubro 1998
This volume contains a collection of case studies in program refinement with the B Method. They show... Descrição completa
? points 433 b
179.16 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

LE PROPHETE ARABE/FRANCAIS KHALIL / Livro Capa mole
common.buy 11.33 €
Projet de Reglement de la Dette de la Compagnie Des Chemins de Fer Du Nord de l'Espagne P DuPont / Livro Capa mole
common.buy 12.45 €
Contabilidad social y medioambiental ANTONIO SOMOZA / Livro Capa mole
common.buy 20.25 €
La gran mentira de la economía : y por qué el futuro será mejor que el pasado a pesar de todo Gonzalo Bernardos Domínguez / Livro Capa mole
common.buy 16.30 €
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Livro Capa mole
common.buy 6.07 €
S.O.S. dent perdue ! Pascal Prevot / Livro Livro de capa dura
common.buy 8.80 €
Eisblume Heinz-Peter Engertsberger / Livro Capa mole
common.buy 10.32 €
Handbuch des Roemischen Privatrechts Christian Baldus / Livro Livro de capa dura
common.buy 558.87 €
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Livro Capa mole
common.buy 19.74 €
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Livro Capa mole
common.buy 68.76 €
En finir avec le couple Stéphane Rose / Livro Capa mole
common.buy 17.01 €
NSU Udo Schulze / Livro Capa mole
common.buy 11.03 €
Kultureller Verlust Arnold Groh / Livro Capa mole
common.buy 30.07 €
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Livro Capa mole
common.buy 16.60 €
Apotheoses Et Imprecations PYTHAGORE / Livro Capa mole
common.buy 12.45 €
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Livro Capa mole
common.buy 6.07 €
Sword Art Online - Progressive 04 Reki Kawahara / Livro Capa mole
common.buy 7.08 €

This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: - data structures; - information management; - process control systems; - distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement.

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 Program Development by Refinement
Autor Emil Sekerinski, Kaisa Sere
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1998
Número de páginas 364
EAN 9781852330538
ISBN 1852330538
Código Libristo 01435128
Editoras Springer London Ltd
Peso 1130
Dimensões 155 x 235 x 20

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
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

From Secrets to Redemption ***Large Print Edition***: A Nebraska Mail Order Bride Series Katherine St Clair / Livro Capa mole
common.buy 12.85 €
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Livro Capa mole
common.buy 60.56 €
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Livro Capa mole
common.buy 21.36 €
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Livro Capa mole
common.buy 12.55 €
Progressive Censoring Rita Aggarwala / Livro Livro de capa dura
common.buy 159.11 €
The Prince And The Pauper Part 1 Mark Twain / Livro Capa mole
common.buy 7.28 €
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Livro Capa mole
common.buy 7.08 €
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Livro Capa mole
common.buy 22.88 €
East Windsor Ceil Donahue / Livro Livro de capa dura
common.buy 20.04 €
The Great Physicists From Galileo To Einstein George Gamow / Livro Capa mole
common.buy 31.08 €
Making Spaces Safer Shawna Potter / Livro Capa mole
common.buy 9.92 €
An Account Of The Harvard Greek Play (1881) Henry Norman / Livro Capa mole
common.buy 17.51 €
Maria Llovet's Eros/Psyche Llovet / Livro Livro de capa dura
common.buy 19.94 €
Principal
Bake Paul Hollywood / Livro Livro de capa dura
common.buy 23.89 €
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Livro Livro de capa dura
common.buy 20.25 €
Económico
Interior Wiring and Systems for Electric Light and Power Sevice: A Manual of Practice for Electrical Workers, Contractors, Architects and Schools Arthur Leroy Cook / Livro Livro de capa dura
common.buy 27.23 €
Stop Them Dead Peter James / Livro Capa mole
common.buy 10.52 €
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Livro Livro de capa dura
common.buy 211.16 €
Other Side of Innovation Vijay Govindarajan / Livro Livro de capa dura
common.buy 21.77 €
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Livro Livro de capa dura
common.buy 91.95 €
Kennedy in Berlin Hans-Michael Koetzle / Livro Livro de capa dura
common.buy 17.11 €
Dynamics of Drivers of Organizational Change Nicole Zimmermann / Livro Capa mole
common.buy 46.07 €
Quantitative Sensory Analysis - Psychophysics, Models and Intelligent Design Harry T Lawless / Livro Livro de capa dura
common.buy 184.43 €
Law without Values Albert W. Alschuler / Livro Livro de capa dura
common.buy 94.79 €

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