Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

Program Development by Refinement

Case Studies Using the B Method

Langue AnglaisAnglais
Livre Livre de poche
Livre Program Development by Refinement Emil Sekerinski
Code Libristo: 01435128
Éditeurs Springer London Ltd, octobre 1998
This volume contains a collection of case studies in program refinement with the B Method. They show... Description détaillée
? points 433 b
176.89 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Eisblume Heinz-Peter Engertsberger / Livre Livre de poche
common.buy 12.90 €
Il Calice del Maestro di Zecca CARLO MAZZARINI / Livre Livre de poche
common.buy 16.99 €
FRANKESTEIN O EL MODERNO PROMETEO SHELLY / Livre Livre
common.buy 15.19 €
Handbuch des Roemischen Privatrechts Christian Baldus / Livre Livre relié
common.buy 629.00 €
Abordable
Dialoghi con Leucò Cesare Pavese / Livre Livre de poche
common.buy 14.79 €
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Livre Livre de poche
common.buy 5.99 €
S.O.S. dent perdue ! Pascal Prevot / Livre Livre relié
common.buy 8.39 €
El último caso de William Parker Alexandre Escrivà / Livre Livre de poche
common.buy 11.39 €
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Livre Livre de poche
common.buy 16.29 €
LE PROPHETE ARABE/FRANCAIS KHALIL / Livre Livre de poche
common.buy 10.89 €
En finir avec le couple Stéphane Rose / Livre Livre de poche
common.buy 16.59 €
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Livre Livre de poche
common.buy 24.90 €
Entwicklung effektiver Markennamen Robin Ebinger / Livre Livre de poche
common.buy 48.00 €
Kultureller Verlust Arnold Groh / Livre Livre de poche
common.buy 38.00 €
Apotheoses Et Imprecations PYTHAGORE / Livre Livre de poche
common.buy 12.29 €
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Livre Livre de poche
common.buy 7.49 €
Sword Art Online - Progressive 04 Reki Kawahara / Livre Livre de poche
common.buy 6.99 €
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Livre Livre de poche
common.buy 79.99 €
NSU Udo Schulze / Livre Livre de poche
common.buy 14.80 €
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 / Livre Livre de poche
common.buy 15.99 €
Projet de Reglement de la Dette de la Compagnie Des Chemins de Fer Du Nord de l'Espagne P DuPont / Livre Livre de poche
common.buy 11.99 €
Contabilidad social y medioambiental ANTONIO SOMOZA / Livre Livre de poche
common.buy 19.99 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Program Development by Refinement
Auteur Emil Sekerinski, Kaisa Sere
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1998
Nombre de pages 364
EAN 9781852330538
ISBN 1852330538
Code Libristo 01435128
Éditeurs Springer London Ltd
Poids 1130
Dimensions 155 x 235 x 20

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

From Secrets to Redemption ***Large Print Edition***: A Nebraska Mail Order Bride Series Katherine St Clair / Livre Livre de poche
common.buy 15.79 €
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Livre Livre de poche
common.buy 59.79 €
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Livre Livre de poche
common.buy 21.09 €
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Livre Livre de poche
common.buy 12.39 €
The Great Physicists From Galileo To Einstein George Gamow / Livre Livre de poche
common.buy 30.69 €
The Prince And The Pauper Part 1 Mark Twain / Livre Livre de poche
common.buy 7.19 €
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Livre Livre de poche
common.buy 6.99 €
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Livre Livre de poche
common.buy 28.39 €
East Windsor Ceil Donahue / Livre Livre relié
common.buy 19.79 €
Archaeological Evolution Stanley South / Livre Livre de poche
common.buy 90.79 €
Making Spaces Safer Shawna Potter / Livre Livre de poche
common.buy 12.59 €
Neural Network Projects with Python James Loy / Livre Livre de poche
common.buy 37.89 €
An Account Of The Harvard Greek Play (1881) Henry Norman / Livre Livre de poche
common.buy 20.29 €
Maria Llovet's Eros/Psyche Llovet / Livre Livre relié
common.buy 20.09 €
Bake Paul Hollywood / Livre Livre relié
common.buy 23.49 €
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Livre Livre relié
common.buy 19.99 €
Abordable
Interior Wiring and Systems for Electric Light and Power Sevice: A Manual of Practice for Electrical Workers, Contractors, Architects and Schools Arthur Leroy Cook / Livre Livre relié
common.buy 26.89 €
Stop Them Dead Peter James / Livre Livre de poche
common.buy 10.39 €
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Livre Livre relié
common.buy 208.49 €
Progressive Censoring Rita Aggarwala / Livre Livre relié
common.buy 157.09 €
Routledge Handbook of Euroscepticism Nicholas Startin / Livre Livre relié
common.buy 312.69 €
Thus Spoke Zarathustra Friedrich Wilhelm Nietzsche / Livre Livre de poche
common.buy 17.19 €
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Livre Livre relié
common.buy 90.79 €
Out of One, Many Africas William Martin / Livre Livre de poche
common.buy 26.59 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?