4th Refinement Workshop

Name: 4th Refinement Workshop
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540196570
Price: 21101 HUF
Availability: InStock

Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge

Szerző: Joseph M. Morris, Roger C. Shaw

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 alacsony példányszámban

Küldés 13-18 napon belül

21 101 Ft

This volume contains the papers presented at the 4th Refinement Workshop, organised by the Formal As...

Információk a könyvről

Szerző

Joseph M. Morris, Roger C. Shaw

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1991

oldal

480

EAN

9783540196570

ISBN

3540196579

Enbook ID

02006897

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

841

Méretek

170 x 244 x 27

Teljes leírás

This volume contains the papers presented at the 4th Refinement Workshop, organised by the Formal Aspects group of the British Computer Society, and held in Cambridge on January 9-11, 1991. Refinement is the term used to describe systematic and formal methods of specifying hardware and software, and transforming the specifications into designs and implementations. The value of formal methods in producing reliable hardware and software is by now widely appreciated among both academics and many workers in industry, although such methods - and in particular their application to industrial-scale problems - are still in their infancy. This workshop brought together some of the best European workers in the field to present tutorials on the state of the art in both theory and industrial application, to describe their latest research, and to indicate future directions. The papers cover the development of both sequential and concurrent systems, and both theoretical ideas and support tools for their effective use. This volume will be of interest to researchers in formal methods, and software engineers wanting to keep track of developments in the application of formal methods in industry.

É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

4th Refinement Workshop

Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9-11 January 1991, Cambridge

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