Mohlo by se vám také líbit

Více informací o knize ZB 2002: Formal Specification and Development in Z and B

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

Nákupem získáte 154 bodů

Anotace knihy

This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope is covered, ranging from foundational and theoretical issues to advanced applications, tools, and case studies.

Parametry knihy

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

• Plný název: ZB 2002: Formal Specification and Development in Z and B
• Podnázev: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
• Autor: Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 541
• EAN: 9783540431664
• ISBN: 3540431667
• ID: 01564070
• Nakladatelství: Springer, Berlin
• Hmotnost: 767 g
• Rozměry: 235 × 155 × 28 mm
• Rok vydání: 2002

Oblíbené z jiného soudku

---

---

---