Recent Trends in Data Type Specification.
| Author/creator | Bidoit, M. Editor |
| Other author | Choppy, C. LRI CNRS URA Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | x, 344 p. 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science |
| Series | Lecture Notes in Computer Science Ser. |
| Summary | Annotation The algebraic specification of abstract data types has beena flourishing research topic in computer science since 1974.The main goal of this work isto evolve theoreticalfoundations and a methodology to support the design andformal development of reliable software.This volume gives the proceedings of the Eighth Workshop onSpecification of Abstract Data Types, held jointly with theThird COMPASS workshop near Paris in August 1991. The maintopics 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 twelvecontributed papers, all of which underwent a carefulrefereeing process. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783540563792 |
| ISBN | 3540563792 (Trade Paper) Active Record |
| Standard identifier# | 9783540563792 |
| Stock number | 3540563792 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |