Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

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

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Program Development by Refinement

Name: Program Development by Refinement
Brand: Springer London Ltd
SKU: 01435128
Price: 830.67 PLN
Availability: InStock
Author: Emil Sekerinski
ISBN: 9781852330538

Case Studies Using the B Method

Emil Sekerinski

Kaisa Sere

Język

Angielski

Książka Miękka

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

Kod Libristo: 01435128

460 b

830.67 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

78.94 zł

Contabilidad social y medioambiental ANTONIO SOMOZA

Miękka

109.83 zł

Il Calice del Maestro di Zecca CARLO MAZZARINI

Miękka

91.46 zł

El último caso de William Parker Alexandre Escrivà

Miękka

56.53 zł

Projet de Reglement de la Dette de la Compagnie Des Chemins de Fer Du Nord de l'Espagne P DuPont

Miękka

56.53 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

Miękka

87.12 zł

NSU Udo Schulze

Miękka

51.68 zł

Aurelia wird eine große Schwester! Mouchi Blaise Ahua

Miękka

29.57 zł

S.O.S. dent perdue ! Pascal Prevot

Twarda

41.38 zł

Eisblume Heinz-Peter Engertsberger

Miękka

48.25 zł

Dialoghi con Leucò Cesare Pavese

Miękka

65.61 zł

Handbuch des Roemischen Privatrechts Christian Baldus

Twarda

2 582.28 zł

Goethes Stammb Ume - Eine Genealogische Darstellung Heinrich Düntzer

Miękka

91.96 zł

LE PROPHETE ARABE/FRANCAIS KHALIL

Miękka

54.51 zł

En finir avec le couple Stéphane Rose

Miękka

84.89 zł

Qué hacer al acabar el bachillerato : guía para no perderse Francisco Javier Benayas Fernández

Miękka

87.22 zł

Entwicklung effektiver Markennamen Robin Ebinger

Miękka

176.36 zł

Kultureller Verlust Arnold Groh

Miękka

139.82 zł

Apotheoses Et Imprecations PYTHAGORE

Miękka

65.61 zł

171 Declaraciones Profeticas De Oracion Para 2018: 2018: Su Ano Para Tener Exito Rev Valentine Hyacinth

Miękka

32.20 zł

Prufung Und Verarbeitung Von Arzneidrogen Fritz Gstirner

Miękka

318.51 zł

Sword Art Online - Progressive 04 Reki Kawahara

Miękka

33.10 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.