Stock image for illustration purposes only - book cover, edition or condition may vary.
Semantics of Specification Languages
. Ed(S): Andrews, Derek J.; Groote, Jan F.; Middelburg, C.A. (Eindhoven University Of Technology)
€ 64.89
FREE Delivery in Ireland
Description for Semantics of Specification Languages
Paperback. The proceedings of a workshop, the aim of which was to assess various research attempts to define specification languages and to identify a programme of work for future investigations. Emphasis was placed on proof checking, type consistency, static semantics and stepwise specification developments. Editor(s): Andrews, Derek J.; Groote, Jan F.; Middelburg, C.A. (Eindhoven University of Technology). Series: Workshops in Computing. Num Pages: 357 pages, 1 black & white illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 630.
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and under the auspices of the British Computer Society'S specialist group in Formal Aspects of Computing Science (BCS FACS). The concern of the workshop was the semantics of specification languages, and the issues closely related to this area, such as type checking and the justification of proof rules and proof obligations. Its ... Read more
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO), and under the auspices of the British Computer Society'S specialist group in Formal Aspects of Computing Science (BCS FACS). The concern of the workshop was the semantics of specification languages, and the issues closely related to this area, such as type checking and the justification of proof rules and proof obligations. Its ... Read more
Product Details
Format
Paperback
Publication date
1994
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
357
Condition
New
Series
Workshops in Computing
Number of Pages
357
Place of Publication
Berlin, Germany
ISBN
9783540198543
SKU
V9783540198543
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Semantics of Specification Languages