Formal Methods in Standards

Name: Formal Methods in Standards
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540195771
Price: 1147 CZK
Availability: InStock

A Report from the BCS Working Group

Autor: Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 147 Kč

This report was produced by the Formal Methods in Standards Working Group of the British Computer So...

Informace o knize

Autor

Clive L.N. Ruggles, Derek Andrews, David Blyth, Cornelia Boldyreff

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

1990

Stránek

135

EAN

9783540195771

ISBN

3540195777

Enbook ID

02172562

Vydavatel

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnost

290

Rozměry

170 x 244 x 9

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Formal Methods in Standards

A Report from the BCS Working Group

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také