Mohlo by sa vám tiež páčiť

Viac informácií o knihe Program Development by Refinement

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 487 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general

• Celý názov: Program Development by Refinement
• Podnázov: Case Studies Using the B Method
• Autor: Emil Sekerinski, Kaisa Sere
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 364
• EAN: 9781852330538
• ISBN: 1852330538
• ID: 01435128
• Nakladateľ: Springer London Ltd
• Hmotnosť: 1130 g
• Rozmery: 235 × 155 × 20 mm
• Dátum vydania: 23. October 1998

Obľúbené z iného súdka

---

---

---