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
200.36 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Eisblume Heinz-Peter Engertsberger / Boek Gebonden (paperback)
common.buy 11.68 €
Il Calice del Maestro di Zecca CARLO MAZZARINI / Boek Gebonden (paperback)
common.buy 20.24 €
FRANKESTEIN O EL MODERNO PROMETEO SHELLY / Boek Boek
common.buy 18.12 €
Handbuch des Roemischen Privatrechts Christian Baldus / Boek Gebonden (harde band)
common.buy 621.06 €
Voordelig
Dialoghi con Leucò Cesare Pavese / Boek Gebonden (paperback)
common.buy 14.90 €
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Boek Gebonden (paperback)
common.buy 6.74 €
S.O.S. dent perdue ! Pascal Prevot / Boek Gebonden (harde band)
common.buy 9.66 €
El último caso de William Parker Alexandre Escrivà / Boek Gebonden (paperback)
common.buy 13.69 €
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Boek Gebonden (paperback)
common.buy 20.04 €
LE PROPHETE ARABE/FRANCAIS KHALIL / Boek Gebonden (paperback)
common.buy 12.68 €
En finir avec le couple Stéphane Rose / Boek Gebonden (paperback)
common.buy 19.53 €
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Boek Gebonden (paperback)
common.buy 22.25 €
Entwicklung effektiver Markennamen Robin Ebinger / Boek Gebonden (paperback)
common.buy 42.60 €
Kultureller Verlust Arnold Groh / Boek Gebonden (paperback)
common.buy 33.84 €
Apotheoses Et Imprecations PYTHAGORE / Boek Gebonden (paperback)
common.buy 14.50 €
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Boek Gebonden (paperback)
common.buy 7.14 €
Sword Art Online - Progressive 04 Reki Kawahara / Boek Gebonden (paperback)
common.buy 7.75 €
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Boek Gebonden (paperback)
common.buy 76.75 €
NSU Udo Schulze / Boek Gebonden (paperback)
common.buy 12.58 €
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 19.94 €
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.30 €
Contabilidad social y medioambiental ANTONIO SOMOZA / Boek Gebonden (paperback)
common.buy 25.18 €

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.10 €
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Boek Gebonden (paperback)
common.buy 68.19 €
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Boek Gebonden (paperback)
common.buy 24.07 €
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Boek Gebonden (paperback)
common.buy 14.80 €
The Great Physicists From Galileo To Einstein George Gamow / Boek Gebonden (paperback)
common.buy 36.26 €
The Prince And The Pauper Part 1 Mark Twain / Boek Gebonden (paperback)
common.buy 8.55 €
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Boek Gebonden (paperback)
common.buy 8.35 €
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Boek Gebonden (paperback)
common.buy 26.99 €
East Windsor Ceil Donahue / Boek Gebonden (harde band)
common.buy 24.47 €
Archaeological Evolution Stanley South / Boek Gebonden (paperback)
common.buy 102.54 €
Making Spaces Safer Shawna Potter / Boek Gebonden (paperback)
common.buy 14.30 €
Neural Network Projects with Python James Loy / Boek Gebonden (paperback)
common.buy 44.72 €
An Account Of The Harvard Greek Play (1881) Henry Norman / Boek Gebonden (paperback)
common.buy 23.97 €
Maria Llovet's Eros/Psyche Llovet / Boek Gebonden (harde band)
common.buy 22.76 €
TOP
Bake Paul Hollywood / Boek Gebonden (harde band)
common.buy 29.20 €
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Boek Gebonden (harde band)
common.buy 24.77 €
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.09 €
Stop Them Dead Peter James / Boek Gebonden (paperback)
common.buy 12.18 €
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Boek Gebonden (harde band)
common.buy 235.52 €
Progressive Censoring Rita Aggarwala / Boek Gebonden (harde band)
common.buy 184.65 €
Routledge Handbook of Euroscepticism Nicholas Startin / Boek Gebonden (harde band)
common.buy 363.26 €
Thus Spoke Zarathustra Friedrich Wilhelm Nietzsche / Boek Gebonden (paperback)
common.buy 19.94 €
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Boek Gebonden (harde band)
common.buy 102.54 €
Out of One, Many Africas William Martin / Boek Gebonden (paperback)
common.buy 31.72 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?