Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Program Development by Refinement

Case Studies Using the B Method

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Program Development by Refinement Emil Sekerinski
Libristo-code: 01435128
Uitgeverij Springer London Ltd, oktober 1998
This volume contains a collection of case studies in program refinement with the B Method. They show... Volledige beschrijving
? points 487 b
201.23 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

LE PROPHETE ARABE/FRANCAIS KHALIL / Boek Gebonden (paperback)
common.buy 13.65 €
Projet de Reglement de la Dette de la Compagnie Des Chemins de Fer Du Nord de l'Espagne P DuPont / Boek Gebonden (paperback)
common.buy 14.56 €
Contabilidad social y medioambiental ANTONIO SOMOZA / Boek Gebonden (paperback)
common.buy 25.28 €
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 / Boek Gebonden (paperback)
common.buy 20.12 €
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Boek Gebonden (paperback)
common.buy 6.77 €
S.O.S. dent perdue ! Pascal Prevot / Boek Gebonden (harde band)
common.buy 10.61 €
Eisblume Heinz-Peter Engertsberger / Boek Gebonden (paperback)
common.buy 11.73 €
Handbuch des Roemischen Privatrechts Christian Baldus / Boek Gebonden (harde band)
common.buy 623.75 €
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Boek Gebonden (paperback)
common.buy 22.35 €
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Boek Gebonden (paperback)
common.buy 77.09 €
En finir avec le couple Stéphane Rose / Boek Gebonden (paperback)
common.buy 20.63 €
NSU Udo Schulze / Boek Gebonden (paperback)
common.buy 12.64 €
Kultureller Verlust Arnold Groh / Boek Gebonden (paperback)
common.buy 33.99 €
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Boek Gebonden (paperback)
common.buy 20.23 €
Apotheoses Et Imprecations PYTHAGORE / Boek Gebonden (paperback)
common.buy 14.56 €
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Boek Gebonden (paperback)
common.buy 7.17 €
Sword Art Online - Progressive 04 Reki Kawahara / Boek Gebonden (paperback)
common.buy 7.78 €

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 & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Program Development by Refinement
Auteur Emil Sekerinski, Kaisa Sere
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1998
Aantal pagina's 364
EAN 9781852330538
ISBN 1852330538
Libristo-code 01435128
Uitgeverij Springer London Ltd
Gewicht 1130
Afmetingen 155 x 235 x 20

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

From Secrets to Redemption ***Large Print Edition***: A Nebraska Mail Order Bride Series Katherine St Clair / Boek Gebonden (paperback)
common.buy 15.17 €
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Boek Gebonden (paperback)
common.buy 68.49 €
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Boek Gebonden (paperback)
common.buy 24.17 €
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Boek Gebonden (paperback)
common.buy 14.86 €
Progressive Censoring Rita Aggarwala / Boek Gebonden (harde band)
common.buy 185.45 €
The Prince And The Pauper Part 1 Mark Twain / Boek Gebonden (paperback)
common.buy 8.59 €
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Boek Gebonden (paperback)
common.buy 8.39 €
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Boek Gebonden (paperback)
common.buy 27.41 €
East Windsor Ceil Donahue / Boek Gebonden (harde band)
common.buy 24.58 €
The Great Physicists From Galileo To Einstein George Gamow / Boek Gebonden (paperback)
common.buy 36.41 €
Making Spaces Safer Shawna Potter / Boek Gebonden (paperback)
common.buy 12.13 €
An Account Of The Harvard Greek Play (1881) Henry Norman / Boek Gebonden (paperback)
common.buy 19.32 €
Maria Llovet's Eros/Psyche Llovet / Boek Gebonden (harde band)
common.buy 22.35 €
TOP
Bake Paul Hollywood / Boek Gebonden (harde band)
common.buy 29.33 €
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Boek Gebonden (harde band)
common.buy 24.88 €
Voordelig
Interior Wiring and Systems for Electric Light and Power Sevice: A Manual of Practice for Electrical Workers, Contractors, Architects and Schools Arthur Leroy Cook / Boek Gebonden (harde band)
common.buy 27.21 €
Stop Them Dead Peter James / Boek Gebonden (paperback)
common.buy 12.23 €
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Boek Gebonden (harde band)
common.buy 236.54 €
Other Side of Innovation Vijay Govindarajan / Boek Gebonden (harde band)
common.buy 26.80 €
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Boek Gebonden (harde band)
common.buy 102.99 €
Kennedy in Berlin Hans-Michael Koetzle / Boek Gebonden (harde band)
common.buy 22.05 €
Dynamics of Drivers of Organizational Change Nicole Zimmermann / Boek Gebonden (paperback)
common.buy 51.69 €
Quantitative Sensory Analysis - Psychophysics, Models and Intelligent Design Harry T Lawless / Boek Gebonden (harde band)
common.buy 227.13 €
Law without Values Albert W. Alschuler / Boek Gebonden (harde band)
common.buy 110.38 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken