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

Viac informácií o knihe Formal Methods in Standards

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

Nákupom získate 125 bodov

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

Parametre knihy

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

• Celý názov: Formal Methods in Standards
• Podnázov: A Report from the BCS Working Group
• Autor: Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 135
• EAN: 9783540195771
• ISBN: 3540195777
• ID: 02172562
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 290 g
• Rozmery: 244 × 170 × 9 mm
• Dátum vydania: 30. July 1990

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

---

---

---