Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Program Development by Refinement

Case Studies Using the B Method

Limba englezăengleză
Carte Carte broșată
Carte Program Development by Refinement Emil Sekerinski
Codul Libristo: 01435128
Editura Springer London Ltd, octombrie 1998
This volume contains a collection of case studies in program refinement with the B Method. They show... Descrierea completă
? points 514 b
1 115.73 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

LE PROPHETE ARABE/FRANCAIS KHALIL / Carte Carte broșată
common.buy 71.82 lei
Projet de Reglement de la Dette de la Compagnie Des Chemins de Fer Du Nord de l'Espagne P DuPont / Carte Carte broșată
common.buy 80.37 lei
Contabilidad social y medioambiental ANTONIO SOMOZA / Carte Carte broșată
common.buy 133.12 lei
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 / Carte Carte broșată
common.buy 105.70 lei
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Carte Carte broșată
common.buy 37.31 lei
S.O.S. dent perdue ! Pascal Prevot / Carte Copertă tare
common.buy 55.97 lei
Eisblume Heinz-Peter Engertsberger / Carte Carte broșată
common.buy 65.15 lei
Handbuch des Roemischen Privatrechts Christian Baldus / Carte Copertă tare
common.buy 3 448.13 lei
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Carte Carte broșată
common.buy 124.37 lei
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Carte Carte broșată
common.buy 426.60 lei
En finir avec le couple Stéphane Rose / Carte Carte broșată
common.buy 108.31 lei
NSU Udo Schulze / Carte Carte broșată
common.buy 70.36 lei
Kultureller Verlust Arnold Groh / Carte Carte broșată
common.buy 188.90 lei
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Carte Carte broșată
common.buy 106.33 lei
Apotheoses Et Imprecations PYTHAGORE / Carte Carte broșată
common.buy 80.37 lei
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Carte Carte broșată
common.buy 39.71 lei
Sword Art Online - Progressive 04 Reki Kawahara / Carte Carte broșată
common.buy 42.94 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Program Development by Refinement
Autor Emil Sekerinski, Kaisa Sere
Limba engleză
Legare Carte - Carte broșată
Data publicării 1998
Număr pagini 364
EAN 9781852330538
ISBN 1852330538
Codul Libristo 01435128
Editura Springer London Ltd
Greutatea 1130
Dimensiuni 155 x 235 x 20

Categorii

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

From Secrets to Redemption ***Large Print Edition***: A Nebraska Mail Order Bride Series Katherine St Clair / Carte Carte broșată
common.buy 83.81 lei
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Carte Carte broșată
common.buy 381.04 lei
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Carte Carte broșată
common.buy 134.37 lei
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Carte Carte broșată
common.buy 81.83 lei
Progressive Censoring Rita Aggarwala / Carte Copertă tare
common.buy 927.65 lei
The Prince And The Pauper Part 1 Mark Twain / Carte Carte broșată
common.buy 47.11 lei
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Carte Carte broșată
common.buy 45.97 lei
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Carte Carte broșată
common.buy 144.17 lei
East Windsor Ceil Donahue / Carte Copertă tare
common.buy 137.19 lei
The Great Physicists From Galileo To Einstein George Gamow / Carte Carte broșată
common.buy 200.16 lei
Making Spaces Safer Shawna Potter / Carte Carte broșată
common.buy 67.76 lei
An Account Of The Harvard Greek Play (1881) Henry Norman / Carte Carte broșată
common.buy 105.91 lei
Maria Llovet's Eros/Psyche Llovet / Carte Copertă tare
common.buy 123.95 lei
Top
Bake Paul Hollywood / Carte Copertă tare
common.buy 154.18 lei
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Carte Copertă tare
common.buy 130.73 lei
Leftin
Interior Wiring and Systems for Electric Light and Power Sevice: A Manual of Practice for Electrical Workers, Contractors, Architects and Schools Arthur Leroy Cook / Carte Copertă tare
common.buy 142.92 lei
Stop Them Dead Peter James / Carte Carte broșată
common.buy 68.38 lei
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Carte Copertă tare
common.buy 1 309.85 lei
Other Side of Innovation Vijay Govindarajan / Carte Copertă tare
common.buy 149.60 lei
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Carte Copertă tare
common.buy 570.37 lei
Kennedy in Berlin Hans-Michael Koetzle / Carte Copertă tare
common.buy 109.46 lei
Dynamics of Drivers of Organizational Change Nicole Zimmermann / Carte Carte broșată
common.buy 285.96 lei
Quantitative Sensory Analysis - Psychophysics, Models and Intelligent Design Harry T Lawless / Carte Copertă tare
common.buy 1 136.79 lei
Law without Values Albert W. Alschuler / Carte Copertă tare
common.buy 579.86 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo