Semantics of Specification Languages (SoSL)

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

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

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

Język:

Oprawa: Miękka

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

Dostępność: Dostępna u dostawcy

Wysyłamy za 5-8 dni

217.76 zł

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

Informacje o książce

Autor

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

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

1994

strony

357

EAN

9783540198543

ISBN

3540198547

Enbook ID

02172588

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

630

Wymiary

155 x 235 x 22

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Semantics of Specification Languages (SoSL)

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

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również