Mohlo by se vám také líbit

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

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

Nákupem získáte 304 bodů

Anotace knihy

This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005.§The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Systems analysis & design

• Plný název: ZB 2005: Formal Specification and Development in Z and B
• Podnázev: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
• Autor: Helen Treharne, Steve King, Martin Henson, Steve Schneider
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 496
• EAN: 9783540255598
• ISBN: 3540255591
• ID: 01560550
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 1580 g
• Rozměry: 235 × 155 × 28 mm
• Datum vydání: 07. April 2005

Oblíbené z jiného soudku

---

---

---