Hero image 0 of Lecture Notes in Computer Science Recent Trends in Algebraic Development Techniques: 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 19, Book 1376, (Paperback), 0 of 1
Lecture Notes in Computer Science Recent Trends in Algebraic Development Techniques: 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 19, Book 1376, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Recent Trends in Algebraic Development Techniques: 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 19, Book 1376, (Paperback)
- Author: Springer
- ISBN: 9783540642992
- Format: Paperback
- Publication Date: 1998-03-11
- Page Count: 444
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date1998-03-11
- Pages444
- Number in series1376
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 Tue, Apr 7
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (2)
Starting from $56.14
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Algebraic Development Techniques, WADT '98, held in Tarquinia, Italy, in June 1997.This book presents, besides three invited surveys, 21 carefully revised full papers selected from 40 presentations given at the workshop. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompases today the formal design of integrated hardware and software systems, new specification frameworks and a wide range of applications. This book presents the state-of-the-art in the area of algebraic software development.
- Lecture Notes in Computer Science Recent Trends in Algebraic Development Techniques: 12th International Workshop, Wadt '97, Tarquinia, Italy, June 3-7, 19, Book 1376, (Paperback)
- Author: Springer
- ISBN: 9783540642992
- Format: Paperback
- Publication Date: 1998-03-11
- Page Count: 444
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
Pub date
1998-03-11
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 Cooperative Information Systems: 9th International Conference, Coopis 2001, Trento, Italy, September 5-7, 2001. Proceedi, Book 2172, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Cooperative Information Systems: 9th International Conference, Coopis 2001, Trento, Italy, September 5-7, 2001. Proceedi, Book 2172, (Paperback)
Lecture Notes in Computer Science Icdt'86: International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings, Book 243, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Icdt'86: International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings, Book 243, (Paperback)
Recent Trends in Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, (Paperback) $54.99
$5499current price $54.99Recent Trends in Algebraic Development Techniques: 25th International Workshop, Wadt 2020, Virtual Event, April 29, 2020, (Paperback)
Lecture Notes in Computer Science Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 22-24, 1993. Proceedings, Book 724, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 22-24, 1993. Proceedings, Book 724, (Paperback)
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 4th International Conference, Fase 2001 Held as Part of the Joint Europe, Book 2029, (Paperback)
Developments in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011, Proceedings, (Paperback) $54.99
$5499current price $54.99Developments in Language Theory: 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011, Proceedings, (Paperback)
Graph-Based Representations in Pattern Recognition: 11th Iapr-Tc-15 International Workshop, Gbrpr 2017, Anacapri, Italy,, (Paperback) $54.99
$5499current price $54.99Graph-Based Representations in Pattern Recognition: 11th Iapr-Tc-15 International Workshop, Gbrpr 2017, Anacapri, Italy,, (Paperback)
Lecture Notes in Computer Science Graph-Theoretic Concepts in Computer Science: 22nd International Workshop, Wg '96, Cadenabbia, Italy, June 12-14, 1996, , Book 1197, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Graph-Theoretic Concepts in Computer Science: 22nd International Workshop, Wg '96, Cadenabbia, Italy, June 12-14, 1996, , Book 1197, (Paperback)
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint Euro, Book 1783, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint Euro, Book 1783, (Paperback)
Lecture Notes of the Institute for Compu Arts and Technology: Third International Conference, Artsit 2013, Milan, Bicocca, Italy, March 21-23, 2013, Revised Sele, Book 116, (Paperback) $54.99
$5499current price $54.99Lecture Notes of the Institute for Compu Arts and Technology: Third International Conference, Artsit 2013, Milan, Bicocca, Italy, March 21-23, 2013, Revised Sele, Book 116, (Paperback)
Lecture Notes in Computer Science VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherland, Book 552, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherland, Book 552, (Paperback)
Lecture Notes in Computer Science Distributed Algorithms: 8th International Workshop, Wdag 1994, Terschelling, the Netherlands, September 29 - October 1, , Book 857, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Distributed Algorithms: 8th International Workshop, Wdag 1994, Terschelling, the Netherlands, September 29 - October 1, , Book 857, (Paperback)
Mathematical Knowledge Management: 5th International Conference, Mkm 2006, Wokingham, Uk, August 11-12, 2006, Proceeding, (Paperback) $54.99
$5499current price $54.99Mathematical Knowledge Management: 5th International Conference, Mkm 2006, Wokingham, Uk, August 11-12, 2006, Proceeding, (Paperback)
Lecture Notes in Computer Science Database Theory - Icdt 2003: 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings, Book 2572, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Database Theory - Icdt 2003: 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings, Book 2572, (Paperback)
Lecture Notes in Computer Science Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987, Book 315, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987, Book 315, (Paperback)
Search-Based Software Engineering: 7th International Symposium, Ssbse 2015, Bergamo, Italy, September 5-7, 2015, Proceed, (Paperback) $54.99
$5499current price $54.99Search-Based Software Engineering: 7th International Symposium, Ssbse 2015, Bergamo, Italy, September 5-7, 2015, Proceed, (Paperback)
Recent Trends in Algebraic Development Techniques: 24th Ifip Wg 1.3 International Workshop, Wadt 2018, Egham, Uk, July 2, (Paperback) $49.82
$4982current price $49.82Recent Trends in Algebraic Development Techniques: 24th Ifip Wg 1.3 International Workshop, Wadt 2018, Egham, Uk, July 2, (Paperback)
Lecture Notes in Computer Science Computer Analysis of Images and Patterns: 6th International Conference, Caip'95, Prague, Czech Republic, September 6-8, , Book 970, (Paperback) $51.57
$5157current price $51.57Lecture Notes in Computer Science Computer Analysis of Images and Patterns: 6th International Conference, Caip'95, Prague, Czech Republic, September 6-8, , Book 970, (Paperback)
Lecture Notes in Computer Science Advanced Information Systems Engineering: 11th International Conference, Caise'99, Heidelberg, Germany, June 14-18, 1999, Book 1626, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Advanced Information Systems Engineering: 11th International Conference, Caise'99, Heidelberg, Germany, June 14-18, 1999, Book 1626, (Paperback)
Lecture Notes in Computer Science Randomization and Approximation Techniques in Computer Science: Second International Workshop, Random'98, Barcelona, Spa, Book 1518, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Randomization and Approximation Techniques in Computer Science: Second International Workshop, Random'98, Barcelona, Spa, Book 1518, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- Professor Of International And Comparative Politics Sumantra Bose
- The Business Stream German
- Excelsior York
- Les 400 Coups
- Sap Pp
- Atlum Computer
- Eastern European Literary Criticism Books
- Pascal Programming Language Books
- Solid State Electronics Technology & Engineering Books
- Mainframe & Midrange Books
- Logic Design Books
- Computers & Technology History Books