Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993 (Workshops in Computing) - Softcover
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 aim was the exchange of problems and ideas in this field of formal methods, and the identification of common programs of work for further investigation. The program of SoSL consisted of 3 invited lectures presenting the developments of the semantics of 3 major specification languages. Furthermore, there were 16 presentations of submitted papers. This volume provides a direct account of the workshop. It contains 3 papers that match the invited lectures and the 16 selected papers. The editors want to thank all those who have contributed to the workshop; the Program Committee and the referees for selecting the contributed papers, the invited speakers for their interesting talks, the Organizing Committee for all their efforts, and of course the participants. We have the feeling that the workshop was worthwhile and should be repeated.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1994
- ISBN 10 3540198547
- ISBN 13 9783540198543
- BindingPaperback
- Number of pages365
- EditorAndrews Derek J., Groote Jan F., Middelburg C.A.
Buy New
Learn more about this copy
US$ 55.88
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 27 October 1993 (Workshops in Computing) [Paperback ]
Print on Demand
Seller:
Rating
Book Description Soft Cover. Condition: new. This item is printed on demand. Seller Inventory # 9783540198543
Buy New
US$ 55.88
Convert currency
Seller Image
Semantics of Specification Languages : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25 - 27 October 1993
Seller:
Rating
Book Description Condition: New. Seller Inventory # 20184577-n
Buy New
US$ 60.63
Convert currency
Stock Image
Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 ? 27 October 1993 (Workshops in Computing)
Published by
Springer
(1994)
ISBN 10: 3540198547
ISBN 13: 9783540198543
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020162252
Buy New
US$ 59.29
Convert currency
Stock Image
Semantics of Specification Languages (SoSL) : Proceedings of the International Workshop on Semantics of Specification Languages; Utrecht; The Netherlands; 25 - 27 October 1993
Published by
Springer
(1994)
ISBN 10: 3540198547
ISBN 13: 9783540198543
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540198543_lsuk
Buy New
US$ 63.96
Convert currency
Seller Image
Semantics of Specification Languages : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, the Netherlands, 25 - 27 October 1993
Seller:
Rating
Book Description Condition: New. Seller Inventory # 20184577-n
Buy New
US$ 63.95
Convert currency
Stock Image
Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 - 27 October 1993 (Workshops in Computing)
Seller:
Rating
Book Description Paperback. Condition: Brand New. reprint edition. 365 pages. 9.25x6.10x0.83 inches. In Stock. Seller Inventory # x-3540198547
Buy New
US$ 76.38
Convert currency
Stock Image
Semantics of Specification Languages
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
(1994)
ISBN 10: 3540198547
ISBN 13: 9783540198543
New
Softcover
Quantity: 15
Seller:
Rating
Book Description Condition: New. 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. . 1994. Softcover reprint of the original 1st ed. 1994. Paperback. . . . . Seller Inventory # V9783540198543
Buy New
US$ 82.41
Convert currency
Seller Image
Semantics of Specification Languages (SoSL) : Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 ¿ 27 October 1993
Published by
Springer London
(1994)
ISBN 10: 3540198547
ISBN 13: 9783540198543
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 aim was the exchange of problems and ideas in this field of formal methods, and the identification of common programs of work for further investigation. The program of SoSL consisted of 3 invited lectures presenting the developments of the semantics of 3 major specification languages. Furthermore, there were 16 presentations of submitted papers. This volume provides a direct account of the workshop. It contains 3 papers that match the invited lectures and the 16 selected papers. The editors want to thank all those who have contributed to the workshop; the Program Committee and the referees for selecting the contributed papers, the invited speakers for their interesting talks, the Organizing Committee for all their efforts, and of course the participants. We have the feeling that the workshop was worthwhile and should be repeated. Seller Inventory # 9783540198543
Buy New
US$ 65.69
Convert currency
Seller Image
Semantics of Specification Languages (SoSL)
Published by
Springer London
(1994)
ISBN 10: 3540198547
ISBN 13: 9783540198543
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Nat. Seller Inventory # 4884320
Buy New
US$ 53.39
Convert currency
Stock Image
Semantics of Specification Languages
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
(1994)
ISBN 10: 3540198547
ISBN 13: 9783540198543
New
Softcover
Quantity: 15
Seller:
Rating
Book Description Condition: New. 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. . 1994. Softcover reprint of the original 1st ed. 1994. Paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9783540198543
Buy New
US$ 97.37
Convert currency