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

Viac informácií o knihe B 2007: Formal Specification and Development in B

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

Nákupom získate 125 bodov

Anotácia 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.

Parametre knihy

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

• Celý názov: B 2007: Formal Specification and Development in B
• Podnázov: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
• Autor: Jacques Julliand, Olga Kouchnarenko
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 297
• EAN: 9783540687603
• ISBN: 3540687602
• ID: 01567749
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 482 g
• Rozmery: 18 × 154 × 17 mm
• Dátum vydania: 14. December 2006

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

---

---

---