Kontakt
Kako nakupovati
Dostava
Svetovalec pri nakupu
Angleščina
460 b
30 dni za vračilo blaga
Drugi so kupili tudi
/
Mehka
13.83
€
/
Mehka
18.18
€
/
Mehka
18.38
€
/
Mehka
6.86
€
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.
O knjigi
Angleščina
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovancaMorda bi vas zanimalo tudi
/
Mehka
14.44
€
/
Mehka
64.36
€
/
Mehka
22.73
€
/
Mehka
14.04
€
/
Mehka
7.87
€
/
Trda
194.72
€
