Mohlo by se vám také líbit

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

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

Nákupem získáte 331 bodů

Anotace knihy

This book constitutes the refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003.§The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope 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 2003: Formal Specification and Development in Z and B
• Podnázev: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings
• Autor: Marina Walden, Didier Bert, Steve King
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 554
• EAN: 9783540402534
• ISBN: 3540402535
• ID: 01562689
• Nakladatelství: Springer, Berlin
• Hmotnost: 840 g
• Rozměry: 234 × 156 × 29 mm
• Rok vydání: 2003

Oblíbené z jiného soudku

---

---

---