Semantics of Specification Languages (SoSL)

Name: Semantics of Specification Languages (SoSL)
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540198543
Price: 19379 HUF
Availability: InStock

Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993

Szerző: Derek J. Andrews, Jan F. Groote, C.A. Middelburg

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 379 Ft

This volume is based on the proceedings of the International Workshop on Semantics of Specification...

Információk a könyvről

Szerző

Derek J. Andrews, Jan F. Groote, C.A. Middelburg

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

1994

oldal

357

EAN

9783540198543

ISBN

3540198547

Enbook ID

02172588

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

630

Méretek

155 x 235 x 22

Teljes leírás

This volume is based on the proceedings of the International Workshop on Semantics of Specification Languages (SoSL), held in Utrecht, the Netherlands, 25-27 October 1993. The aim of the workshop - the first in a proposed series - was to assess various attempts to formally define specification languages, and to identify a programme of work for further investigation. There are currently no other workshops or conferences covering this area. The papers provide a comprehensive overview of research into this important topic, with particular emphasis on recent developments in formal proof systems, proof checking, type consistency, static semantics, and stepwise developments of specifications. In addition to the submitted papers the volume includes three invited papers, each of which outlines the development of the semantics of a major specification language.

É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

Semantics of Specification Languages (SoSL)

Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993

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