Formal Methods in Standards

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

A Report from the BCS Working Group

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

Nyelv:

Kötés: Puha kötésű

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

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 399 Ft

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

Információk a könyvről

Szerző

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

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1990

oldal

135

EAN

9783540195771

ISBN

3540195777

Enbook ID

02172562

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

290

Méretek

170 x 244 x 9

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Methods in Standards

A Report from the BCS Working Group

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták