Mohlo by se vám také líbit

Více informací o knize Formal Methods in Standards

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

Nákupem získáte 118 bodů

Anotace knihy

This report was produced by the Formal Methods in Standards Working Group of the British Computer Society. This group was set up to promote the practical application of formal methods in improving the quality of standards used in computer systems and software. The report identifies issues which relate to the introduction of formal methods into the development and expression of standards, and offers general guidelines on the use of formal methods for those working in different standards areas.

Parametry knihy

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

• Plný název: Formal Methods in Standards
• Podnázev: A Report from the BCS Working Group
• Autor: Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 135
• EAN: 9783540195771
• ISBN: 3540195777
• ID: 02172562
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 290 g
• Rozměry: 244 × 170 × 9 mm
• Datum vydání: 30. July 1990

Oblíbené z jiného soudku

---

---

---