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

Viac informácií o knihe The B Language and Method

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

Nákupom získate 122 bodov

Anotácia knihy

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

• Celý názov: The B Language and Method
• Podnázov: A Guide to Practical Formal Development
• Autor: Kevin Lano
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 232
• EAN: 9783540760337
• ISBN: 3540760334
• ID: 06810087
• Nakladateľ: Springer, Berlin
• Hmotnosť: 375 g
• Rozmery: 235 × 155 × 14 mm
• Dátum vydania: 19. November 2012

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

---

---

---