Skip to main content
PBS logo
 
 

Search - Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A (Lecture Notes in Computer Science)

Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan, France, A (Lecture Notes in Computer Science)
Recent Trends in Data Type Specification 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan France A - Lecture Notes in Computer Science
Author: M. Bidoit
The algebraic specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work is to 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 ...  more »
ISBN-13: 9780387563794
ISBN-10: 0387563792
Pages: 354
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.