«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Program Development by Refinement

Case Studies Using the B Method

Idioma InglésInglés
Libro Tapa blanda
Libro Program Development by Refinement Emil Sekerinski
Código Libristo: 01435128
Editores Springer London Ltd, octubre 1998
This volume contains a collection of case studies in program refinement with the B Method. They show... Descripción completa
? points 541 b
220.99 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

LE PROPHETE ARABE/FRANCAIS KHALIL / Libro Tapa blanda
common.buy 13.79 €
Projet de Reglement de la Dette de la Compagnie Des Chemins de Fer Du Nord de l'Espagne P DuPont / Libro Tapa blanda
common.buy 15.09 €
Contabilidad social y medioambiental ANTONIO SOMOZA / Libro Tapa blanda
common.buy 24.29 €
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 / Libro Tapa blanda
common.buy 19.29 €
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Libro Tapa blanda
common.buy 7.39 €
S.O.S. dent perdue ! Pascal Prevot / Libro Tapa dura
common.buy 10.69 €
Eisblume Heinz-Peter Engertsberger / Libro Tapa blanda
common.buy 12.89 €
Handbuch des Roemischen Privatrechts Christian Baldus / Libro Tapa dura
common.buy 681.19 €
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Libro Tapa blanda
common.buy 24.69 €
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Libro Tapa blanda
common.buy 84.39 €
En finir avec le couple Stéphane Rose / Libro Tapa blanda
common.buy 20.79 €
NSU Udo Schulze / Libro Tapa blanda
common.buy 13.99 €
Kultureller Verlust Arnold Groh / Libro Tapa blanda
common.buy 37.49 €
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Libro Tapa blanda
common.buy 19.39 €
Apotheoses Et Imprecations PYTHAGORE / Libro Tapa blanda
common.buy 15.09 €
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Libro Tapa blanda
common.buy 7.49 €
Sword Art Online - Progressive 04 Reki Kawahara / Libro Tapa blanda
common.buy 8.49 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Program Development by Refinement
Autor Emil Sekerinski, Kaisa Sere
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1998
Número de páginas 364
EAN 9781852330538
ISBN 1852330538
Código Libristo 01435128
Editores Springer London Ltd
Peso 1130
Dimensiones 155 x 235 x 20

Categorías

Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

From Secrets to Redemption ***Large Print Edition***: A Nebraska Mail Order Bride Series Katherine St Clair / Libro Tapa blanda
common.buy 15.79 €
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Libro Tapa blanda
common.buy 75.69 €
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Libro Tapa blanda
common.buy 26.69 €
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Libro Tapa blanda
common.buy 15.39 €
Progressive Censoring Rita Aggarwala / Libro Tapa dura
common.buy 195.49 €
The Prince And The Pauper Part 1 Mark Twain / Libro Tapa blanda
common.buy 8.89 €
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Libro Tapa blanda
common.buy 8.69 €
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Libro Tapa blanda
common.buy 29.19 €
East Windsor Ceil Donahue / Libro Tapa dura
common.buy 25.79 €
The Great Physicists From Galileo To Einstein George Gamow / Libro Tapa blanda
common.buy 37.69 €
Making Spaces Safer Shawna Potter / Libro Tapa blanda
common.buy 12.69 €
An Account Of The Harvard Greek Play (1881) Henry Norman / Libro Tapa blanda
common.buy 20.79 €
Maria Llovet's Eros/Psyche Llovet / Libro Tapa dura
common.buy 25.09 €
Popular
Bake Paul Hollywood / Libro Tapa dura
common.buy 29.69 €
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Libro Tapa dura
common.buy 25.19 €
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 / Libro Tapa dura
common.buy 26.89 €
Stop Them Dead Peter James / Libro Tapa blanda
common.buy 13.19 €
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Libro Tapa dura
common.buy 259.19 €
Other Side of Innovation Vijay Govindarajan / Libro Tapa dura
common.buy 28.19 €
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Libro Tapa dura
common.buy 112.79 €
Kennedy in Berlin Hans-Michael Koetzle / Libro Tapa dura
common.buy 21.79 €
Dynamics of Drivers of Organizational Change Nicole Zimmermann / Libro Tapa blanda
common.buy 56.59 €
Quantitative Sensory Analysis - Psychophysics, Models and Intelligent Design Harry T Lawless / Libro Tapa dura
common.buy 224.49 €
Law without Values Albert W. Alschuler / Libro Tapa dura
common.buy 116.29 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?