Semantics of Specification Languages (SoSL)

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

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

Автор: Derek J. Andrews, Jan F. Groote, C.A. Middelburg

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 5-8 дни

52.70 € 103.07 лв

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

Информация за книгата

Автор

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

Език

Английски език

Корици

Книга - С меки корици

Издадена

1994

страници

357

EAN

9783540198543

ISBN

3540198547

Enbook ID

02172588

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

630

Размери

155 x 235 x 22

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Semantics of Specification Languages (SoSL)

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

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също