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 Kurier 12.99 zł Punkt DPD 11.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
870.24 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

FRANKESTEIN O EL MODERNO PROMETEO SHELLY / Książka Książka
common.buy 78.83 zł
Contabilidad social y medioambiental ANTONIO SOMOZA / Książka Miękka
common.buy 109.25 zł
Il Calice del Maestro di Zecca CARLO MAZZARINI / Książka Miękka
common.buy 88.15 zł
El último caso de William Parker Alexandre Escrivà / Książka Miękka
common.buy 56.10 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 55.59 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 86.72 zł
NSU Udo Schulze / Książka Miękka
common.buy 54.46 zł
Aurelia wird eine große Schwester! Mouchi Blaise Ahua / Książka Miękka
common.buy 29.27 zł
S.O.S. dent perdue ! Pascal Prevot / Książka Twarda
common.buy 40.54 zł
Eisblume Heinz-Peter Engertsberger / Książka Miękka
common.buy 50.57 zł
Tanie
Dialoghi con Leucò Cesare Pavese / Książka Miękka
common.buy 64.91 zł
Handbuch des Roemischen Privatrechts Christian Baldus / Książka Twarda
common.buy 2 697.07 zł
Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer / Książka Miękka
common.buy 96.65 zł
LE PROPHETE ARABE/FRANCAIS KHALIL / Książka Miękka
common.buy 53.75 zł
En finir avec le couple Stéphane Rose / Książka Miękka
common.buy 83.85 zł
Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández / Książka Miękka
common.buy 87.03 zł
Entwicklung effektiver Markennamen Robin Ebinger / Książka Miękka
common.buy 185.12 zł
Kultureller Verlust Arnold Groh / Książka Miękka
common.buy 146.93 zł
Apotheoses Et Imprecations PYTHAGORE / Książka Miękka
common.buy 63.07 zł
171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth / Książka Miękka
common.buy 31.12 zł
Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner / Książka Miękka
common.buy 333.18 zł
Sword Art Online - Progressive 04 Reki Kawahara / Książka Miękka
common.buy 33.57 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ć

Making Spaces Safer Shawna Potter / Książka Miękka
common.buy 59.99 zł
Design of All Terrain Mobile Cranes for Required Capacities Naveen Daham Weerasekera / Książka Miękka
common.buy 296.12 zł
Fifteen Sermons Preached Before the University of Oxford Between A.D. 1826 and 1843 John Henry Newman / Książka Miękka
common.buy 104.23 zł
Study U Abroad: The 5 Keys to Unlock Your Awesomeness and Transform Your World Alex Smith / Książka Miękka
common.buy 64.19 zł
The Great Physicists From Galileo To Einstein George Gamow / Książka Miękka
common.buy 157.27 zł
Progressive Censoring Rita Aggarwala / Książka Twarda
common.buy 725.46 zł
Short Stories To Tickle Your Funnybone: Excerpts From The Lady Justice Mystery/Comedy Series Robert Thornhill / Książka Miękka
common.buy 36.14 zł
Promoting Active Lifestyles in Schools With Web Resource Jo Harris / Książka Miękka
common.buy 117.44 zł
East Windsor Ceil Donahue / Książka Twarda
common.buy 106.38 zł
From Secrets to Redemption ***Large Print Edition***: A Nebraska Mail Order Bride Series Katherine St Clair / Książka Miękka
common.buy 65.73 zł
The Prince And The Pauper Part 1 Mark Twain / Książka Miękka
common.buy 36.95 zł
Neural Network Projects with Python James Loy / Książka Miękka
common.buy 194.23 zł
An Account Of The Harvard Greek Play (1881) Henry Norman / Książka Miękka
common.buy 104.02 zł
Maria Llovet's Eros/Psyche Llovet / Książka Twarda
common.buy 98.70 zł
TOP
Bake Paul Hollywood / Książka Twarda
common.buy 118.87 zł
UNTITLED PANDOMINION NOVEL 2 M. R. CAREY / Książka Twarda
common.buy 100.75 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 73.51 zł
Stop Them Dead Peter James / Książka Miękka
common.buy 81.80 zł
Climate Change and Soil-Water-Plant Nexus Md. Mizanur Rahman / Książka Twarda
common.buy 1 022.92 zł
TOP
The Great Clans of Rokugan Katrina Ostrander / Książka Miękka
common.buy 93.48 zł
Quantitative Sensory Analysis - Psychophysics, Models and Intelligent Design Harry T Lawless / Książka Twarda
common.buy 791.40 zł
Archaeological Evolution Stanley South / Książka Miękka
common.buy 445.41 zł
Annual Bibliography of the History of the Printed Book and Libraries H. Vervliet / Książka Twarda
common.buy 445.41 zł
Kennedy in Berlin Hans-Michael Koetzle / Książka Twarda
common.buy 89.89 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?