Recent Trends in Data Type Specification (Record no. 35394)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03616nam a22005055i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
ISBN | 9783540475453 |
-- | 978-3-540-47545-3 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.1 |
245 10 - TITLE STATEMENT | |
Title | Recent Trends in Data Type Specification |
Sub Title | 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop Dourdan, France, August 26–30, 1991 Selected Papers / |
Statement of responsibility, etc | edited by Michel Bidoit, Christine Choppy. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication | Berlin, Heidelberg : |
Name of publisher | Springer Berlin Heidelberg, |
Year of publication | 1993. |
300 ## - PHYSICAL DESCRIPTION | |
Number of Pages | X, 346 p. |
Other physical details | online resource. |
490 1# - SERIES STATEMENT | |
Series statement | Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Algebraic specification of concurrency -- Objects and their specification -- The use of sorts in algebraic specifications -- Implementation and behavioural equivalence: A survey -- Relationships between logical frameworks -- Label algebras: A systematic use of terms -- How to specify non determinism and true concurrency with algebraic term nets -- Bounded implementation of algebraic specifications -- New concepts of amalgamation and extension for a general theory of specifications -- Nonequivalence of categories for equational algebraic specifications -- Process semantics of temporal logic specification -- The object-based specification language ?: concepts, syntax, and semantics -- Specifications with observable formulae and observational satisfaction relation -- Event logic for specifying abstract dynamic data types -- A soft stairway to institutions -- Generic classes in an object-based language. |
520 ## - SUMMARY, ETC. | |
Summary, etc | The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991. The main topics covered by the joint workshop are: - specification languagesand program development - algebraic specification of concurrency - theorem proving - object-oriented specifications - order-sorted algebras - abstract implementation and behavioral semantics. The volume contains four invited surveys and twelve contributed papers, all of which underwent a careful refereeing process. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Logic design. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Programming Languages, Compilers, Interpreters. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical Term | Logics and Meanings of Programs. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Bidoit, Michel. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Choppy, Christine. |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-56379-2 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | E-BOOKS |
264 #1 - | |
-- | Berlin, Heidelberg : |
-- | Springer Berlin Heidelberg, |
-- | 1993. |
336 ## - | |
-- | text |
-- | txt |
-- | rdacontent |
337 ## - | |
-- | computer |
-- | c |
-- | rdamedia |
338 ## - | |
-- | online resource |
-- | cr |
-- | rdacarrier |
347 ## - | |
-- | text file |
-- | |
-- | rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
-- | 0302-9743 ; |
Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
---|---|---|---|---|---|---|---|
IMSc Library | EBK6100 | http://dx.doi.org/10.1007/3-540-56379-2 | E-BOOKS |