Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Program Development by Refinement

Case Studies Using the B Method

Język AngielskiAngielski
Książka Miękka
Książka Program Development by Refinement Emil Sekerinski
Kod Libristo: 01435128
Wydawnictwo Springer London Ltd, październik 1998
This volume contains a collection of case studies in program refinement with the B Method. They show... Cały opis
? points 487 b
853.02 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

LE PROPHETE ARABE/FRANCAIS KHALIL / Książka Miękka
common.buy 58.00 zł
Projet de Reglement de la Dette de la Compagnie Des Chemins de Fer Du Nord de l'Espagne P DuPont / Książka Miękka
common.buy 61.82 zł
Contabilidad social y medioambiental ANTONIO SOMOZA / Książka Miękka
common.buy 107.38 zł
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 / Książka Miękka
common.buy 85.30 zł
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Książka Miękka
common.buy 28.69 zł
S.O.S. dent perdue ! Pascal Prevot / Książka Twarda
common.buy 45.16 zł
Eisblume Heinz-Peter Engertsberger / Książka Miękka
common.buy 49.57 zł
Handbuch des Roemischen Privatrechts Christian Baldus / Książka Twarda
common.buy 2 643.68 zł
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Książka Miękka
common.buy 94.74 zł
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Książka Miękka
common.buy 326.59 zł
En finir avec le couple Stéphane Rose / Książka Miękka
common.buy 87.41 zł
NSU Udo Schulze / Książka Miękka
common.buy 53.39 zł
Kultureller Verlust Arnold Groh / Książka Miękka
common.buy 144.02 zł
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Książka Miękka
common.buy 85.80 zł
Apotheoses Et Imprecations PYTHAGORE / Książka Miękka
common.buy 61.82 zł
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Książka Miękka
common.buy 30.50 zł
Sword Art Online - Progressive 04 Reki Kawahara / Książka Miękka
common.buy 33.11 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Program Development by Refinement
Autor Emil Sekerinski, Kaisa Sere
Język Angielski
Oprawa Książka - Miękka
Data wydania 1998
Liczba stron 364
EAN 9781852330538
ISBN 1852330538
Kod Libristo 01435128
Wydawnictwo Springer London Ltd
Waga 1130
Wymiary 155 x 235 x 20

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

From Secrets to Redemption ***Large Print Edition***: A Nebraska Mail Order Bride Series Katherine St Clair / Książka Miękka
common.buy 64.43 zł
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Książka Miękka
common.buy 290.25 zł
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Książka Miękka
common.buy 102.27 zł
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Książka Miękka
common.buy 62.92 zł
Progressive Censoring Rita Aggarwala / Książka Twarda
common.buy 711.10 zł
The Prince And The Pauper Part 1 Mark Twain / Książka Miękka
common.buy 36.22 zł
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Książka Miękka
common.buy 35.42 zł
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Książka Miękka
common.buy 116.32 zł
East Windsor Ceil Donahue / Książka Twarda
common.buy 104.27 zł
The Great Physicists From Galileo To Einstein George Gamow / Książka Miękka
common.buy 154.16 zł
Making Spaces Safer Shawna Potter / Książka Miękka
common.buy 51.48 zł
An Account Of The Harvard Greek Play (1881) Henry Norman / Książka Miękka
common.buy 81.79 zł
Maria Llovet's Eros/Psyche Llovet / Książka Twarda
common.buy 94.74 zł
TOP
Bake Paul Hollywood / Książka Twarda
common.buy 116.52 zł
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Książka Twarda
common.buy 98.95 zł
Tanie
Interior Wiring and Systems for Electric Light and Power Sevice: A Manual of Practice for Electrical Workers, Contractors, Architects and Schools Arthur Leroy Cook / Książka Twarda
common.buy 115.31 zł
Stop Them Dead Peter James / Książka Miękka
common.buy 51.68 zł
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Książka Twarda
common.buy 1 002.66 zł
Other Side of Innovation Vijay Govindarajan / Książka Twarda
common.buy 113.71 zł
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Książka Twarda
common.buy 436.59 zł
Kennedy in Berlin Hans-Michael Koetzle / Książka Twarda
common.buy 88.31 zł
Dynamics of Drivers of Organizational Change Nicole Zimmermann / Książka Miękka
common.buy 218.99 zł
Quantitative Sensory Analysis - Psychophysics, Models and Intelligent Design Harry T Lawless / Książka Twarda
common.buy 917.25 zł
Law without Values Albert W. Alschuler / Książka Twarda
common.buy 467.90 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?