Dragi clienți,
Vă informăm că, din motive tehnice, asistența noastră telefonică va fi indisponibilă în data de 22.10.2026 și în perioada 26.10 – 30.10.2026. Ne cerem scuze pentru neplăcerile create și vă mulțumim pentru înțelegere.
Cu stimă,
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
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei
Serviciul de curierat Cargus 28.00 lei
Easybox 20.00 lei
Punct FAN 16.00 lei
Punct DPD 17.00 lei
Curier DPD 25.00 lei
FAN Courier 25.00 lei
Contact
Cum să cumpăr
Ajutor
Livrare
Packeta 15.00 lei
Serviciul de curierat Cargus 28.00 lei
Easybox 20.00 lei
Punct FAN 16.00 lei
Punct DPD 17.00 lei
Curier DPD 25.00 lei
FAN Courier 25.00 lei
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Consilier de cumpărături
Suntem aici pentru tine!
031 22 95 182
Contul meu
▸
Gol :-(
0
Dragi clienți,
Vă informăm că, din motive tehnice, asistența noastră telefonică va fi indisponibilă în data de 22.10.2026 și în perioada 26.10 – 30.10.2026. Ne cerem scuze pentru neplăcerile create și vă mulțumim pentru înțelegere.
Cu stimă,
Limba
engleză
engleză
Carte
Carte broșată
This volume contains a collection of case studies in program refinement with the B Method. They show...
Descrierea completă
Codul Libristo: 01435128
?
514 b
514 b
1 128.52
lei
În depozitul extern
Expediem în 5-8 zile
Până la 30 de zile pentru returnare
Clienții au cumpărat de asemenea
/
Carte broșată
72.74
lei
/
Carte broșată
106.30
lei
/
Carte broșată
106.80
lei
/
Carte broșată
41.09
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
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ă
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
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 destinataruluiAr putea de asemenea, să te intereseze
/
Carte broșată
385.34
lei
/
Carte broșată
135.74
lei
/
Carte broșată
85.00
lei
/
Carte broșată
47.42
lei
/
Carte broșată
87.01
lei
/
Copertă tare
36.27
lei
/
Copertă tare
988.34
lei
/
Copertă tare
576.87
lei
Consilier de cărți Libroamiko
Prin utilizarea acestui chat, comunicați cu inteligența artificială generativă. Prin utilizarea acestuia, sunteți de asemenea de acord cu prelucrarea datelor cu caracter personal.
Bună ziua! Sunt Libroamiko, consilierul dumneavoastră de cărți.
Cu ce vă pot ajuta?
Bună ziua, sunt Libroamiko, vă pot ajuta?