Mohlo by se vám také líbit

Více informací o knize B 2007: Formal Specification and Development in B

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 118 bodů

Anotace knihy

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Web programming

• Plný název: B 2007: Formal Specification and Development in B
• Podnázev: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
• Autor: Jacques Julliand, Olga Kouchnarenko
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 297
• EAN: 9783540687603
• ISBN: 3540687602
• ID: 01567749
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 482 g
• Rozměry: 18 × 154 × 17 mm
• Datum vydání: 14. December 2006

Oblíbené z jiného soudku

---

---

---