Lecture Notes in Computer Science Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th Comp, Book 1130, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th Comp, Book 1130, (Paperback)
- Author: Springer
- ISBN: 9783540616290
- Format: Paperback
- Publication Date: 1996-09-04
- Page Count: 558
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateSeptember, 1996
- Pages558
- SubgenreLanguages
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Tomorrow
.Order within 3 hr 37 min
Sold and shipped by Walmart.com
Free 90-day returns - in store or online
This item is gift eligible
More seller options (2)
Starting from $54.99
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995.
The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.
The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.
- Lecture Notes in Computer Science Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th Comp, Book 1130, (Paperback)
- Author: Springer
- ISBN: 9783540616290
- Format: Paperback
- Publication Date: 1996-09-04
- Page Count: 558
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
September, 1996
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Field-Programmable Logic and Applications. from FPGAs to Computing Paradigm: 8th International Workshop, Fpl'98 Tallinn,, Book 1482, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Field-Programmable Logic and Applications. from FPGAs to Computing Paradigm: 8th International Workshop, Fpl'98 Tallinn,, Book 1482, (Paperback)
Lecture Notes in Computer Science Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germ, Book 534, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germ, Book 534, (Paperback)
Lecture Notes in Computer Science Foundations of Software Science and Computation Structures: 28th International Conference, Fossacs 2025, Held as Part of, Book 15691, (Paperback) $49.99
$4999current price $49.99Lecture Notes in Computer Science Foundations of Software Science and Computation Structures: 28th International Conference, Fossacs 2025, Held as Part of, Book 15691, (Paperback)
Lecture Notes in Computer Science Rims Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings, Book 147, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Rims Symposium on Software Science and Engineering: Kyoto, 1982. Proceedings, Book 147, (Paperback)
Lecture Notes in Computer Science Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, Sep, Book 332, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, Sep, Book 332, (Paperback)
Lecture Notes in Computer Science Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981, Book 134, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981, Book 134, (Paperback)
Lecture Notes in Computer Science Formal Properties of Finite Automata and Applications: Litp Spring School on Theoretical Computer Science, Ramatuelle, F, Book 386, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Formal Properties of Finite Automata and Applications: Litp Spring School on Theoretical Computer Science, Ramatuelle, F, Book 386, (Paperback)
Lecture Notes in Computer Science Casl User Manual: Introduction to Using the Common Algebraic Specification Language, Book 2900, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Casl User Manual: Introduction to Using the Common Algebraic Specification Language, Book 2900, (Paperback)
Lecture Notes in Computer Science Empirical Methods and Studies in Software Engineering: Experiences from Esernet, Book 2765, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Empirical Methods and Studies in Software Engineering: Experiences from Esernet, Book 2765, (Paperback)
Lecture Notes in Computer Science User-Centered Interaction Paradigms for Universal Access in the Information Society: 8th Ercim Workshop on User Interfac, Book 3196, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science User-Centered Interaction Paradigms for Universal Access in the Information Society: 8th Ercim Workshop on User Interfac, Book 3196, (Paperback)
Lecture Notes in Computer Science Context-Free Grammars: Covers, Normal Forms, and Parsing, Book 93, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Context-Free Grammars: Covers, Normal Forms, and Parsing, Book 93, (Paperback)
Lecture Notes in Computer Science Rims Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan, Book 220, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Rims Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan, Book 220, (Paperback)
Lecture Notes in Computer Science Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers: 25th International Co, Book 15453, (Paperback) $59.99
$5999current price $59.99Lecture Notes in Computer Science Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers: 25th International Co, Book 15453, (Paperback)
Lecture Notes in Computer Science Semantics, Applications, and Implementation of Program Generation: Second International Workshop, Saig 2001, Florence, I, Book 2196, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Semantics, Applications, and Implementation of Program Generation: Second International Workshop, Saig 2001, Florence, I, Book 2196, (Paperback)
Lecture Notes in Computer Science Foundations of Software Science and Computation Structures: 25th International Conference, Fossacs 2022, Held as Part of, Book 13242, (Paperback) $49.99
$4999current price $49.99Lecture Notes in Computer Science Foundations of Software Science and Computation Structures: 25th International Conference, Fossacs 2022, Held as Part of, Book 13242, (Paperback)
Lecture Notes in Computer Science Theory and Application of Graph Transformations: 6th International Workshop, Tagt'98 Paderborn, Germany, November 16-20,, Book 1764, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Theory and Application of Graph Transformations: 6th International Workshop, Tagt'98 Paderborn, Germany, November 16-20,, Book 1764, (Paperback)
Lecture Notes in Computer Science The Design of Dynamic Data Structures, Book 156, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science The Design of Dynamic Data Structures, Book 156, (Paperback)
Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers, Book 996, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994. Selected Papers, Book 996, (Paperback)
Lecture Notes in Computer Science Transactions and Database Dynamics: 8th International Workshop on Foundations of Models and Languages for Data and Objec, Book 1773, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Transactions and Database Dynamics: 8th International Workshop on Foundations of Models and Languages for Data and Objec, Book 1773, (Paperback)
Lecture Notes in Computer Science Programming Languages and Their Definition: Selected Papers, Book 177, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Programming Languages and Their Definition: Selected Papers, Book 177, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- Mobile & Wireless Communications Books
- 2007 Technology
- Digital Electronics Technology & Engineering Books
- Rand Technology
- Mit Technology 2019
- Technological Innovations 2021
- Scale Linux
- Capital Technology
- Machine Theory Books
- Automation Technology & Engineering Books
- Information Technology Books
- Semiconductors Electronics Technology & Engineering Books