Kontakt
Ako nakupovať
Doručenie
Nákupný poradca
Angličtina
487 b
30 dní na vrátenie tovaru
Zákazníci tiež kúpili
/
Brožovaná
13.83
€
/
Brožovaná
20.10
€
/
Brožovaná
20.20
€
/
Brožovaná
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.
Informácie o knihe
Angličtina
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovanéhoMohlo by vás tiež zaujímať
/
Brožovaná
14.44
€
/
Brožovaná
68.40
€
/
Brožovaná
24.14
€
/
Brožovaná
14.04
€
/
Brožovaná
7.87
€
/
Pevná
205.53
€
