Hero image 0 of Lecture Notes in Computer Science Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Den, Book 915, (Paperback), 0 of 1
Lecture Notes in Computer Science Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Den, Book 915, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Den, Book 915, (Paperback)
- Author: Springer
- ISBN: 9783540592938
- Format: Paperback
- Publication Date: 1995-05-03
- Page Count: 820
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub dateMay 3, 1995
- Pages820
- SubgenreProgramming
Current price is USD$107.90
Price when purchased online
- Free shipping
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives by Thu, Apr 23
|
Sold and shipped by Endless Reads
4.758520667150108 stars out of 5, based on 1379 seller reviews(4.8)1379 seller reviews
Free 30-day returns - in store or online
About this item
Product details
This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development.
The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.
The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.
- Lecture Notes in Computer Science Tapsoft '95: Theory and Practice of Software Development: 6th International Joint Conference Caap/Fase, Aarhus, Den, Book 915, (Paperback)
- Author: Springer
- ISBN: 9783540592938
- Format: Paperback
- Publication Date: 1995-05-03
- Page Count: 820
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
May 3, 1995
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 Sofsem 2025: Theory and Practice of Computer Science: 50th International Conference on Current Trends in Theory and Prac, Book 15538, (Paperback) $74.99
$7499current price $74.99Lecture Notes in Computer Science Sofsem 2025: Theory and Practice of Computer Science: 50th International Conference on Current Trends in Theory and Prac, Book 15538, (Paperback)
Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part , Book 1384, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part , Book 1384, (Paperback)
Lecture Notes in Computer Science Learning and Collaboration Technologies: 12th International Conference, Lct 2025, Held as Part of the 27th Hci Internati, Book 15807, (Paperback) $89.99
$8999current price $89.99Lecture Notes in Computer Science Learning and Collaboration Technologies: 12th International Conference, Lct 2025, Held as Part of the 27th Hci Internati, Book 15807, (Paperback)
Lecture Notes in Computer Science Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, Refsq 2024, Winterthur, Book 14588, (Paperback) $84.53
$8453current price $84.53Lecture Notes in Computer Science Requirements Engineering: Foundation for Software Quality: 30th International Working Conference, Refsq 2024, Winterthur, Book 14588, (Paperback)
Lecture Notes in Computer Science Sofsem 2025: Theory and Practice of Computer Science: 50th International Conference on Current Trends in Theory and Prac, Book 15539, (Paperback) $74.99
$7499current price $74.99Lecture Notes in Computer Science Sofsem 2025: Theory and Practice of Computer Science: 50th International Conference on Current Trends in Theory and Prac, Book 15539, (Paperback)
Lecture Notes in Computer Science Logic Programming: 18th International Conference, Iclp 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings, Book 2401, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Logic Programming: 18th International Conference, Iclp 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings, Book 2401, (Paperback)
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 28th International Conference, Fase 2025, Held as Part of the Internatio, Book 15693, (Paperback) $35.64
$3564current price $35.64Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: 28th International Conference, Fase 2025, Held as Part of the Internatio, Book 15693, (Paperback)
Lecture Notes in Computer Science Cross-Cultural Design: 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, Hcii , Book 14023, (Paperback) $82.88
$8288current price $82.88Lecture Notes in Computer Science Cross-Cultural Design: 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, Hcii , Book 14023, (Paperback)
Lecture Notes in Computer Science Information Integration and Web Intelligence: 27th International Conference, Iiwas 2025, Matsue, Japan, December 8-10, 2, Book 16330, (Paperback) $74.99
$7499current price $74.99Lecture Notes in Computer Science Information Integration and Web Intelligence: 27th International Conference, Iiwas 2025, Matsue, Japan, December 8-10, 2, Book 16330, (Paperback)
Algorithmic Game Theory: 14th International Symposium, Sagt 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings, (Paperback) $82.75
$8275current price $82.75Algorithmic Game Theory: 14th International Symposium, Sagt 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings, (Paperback)
Lecture Notes in Computer Science Web Information Systems and Applications: 21st International Conference, Wisa 2024, Yinchuan, China, August 2-4, 2024, P, Book 14883, (Paperback) $89.66
$8966current price $89.66Lecture Notes in Computer Science Web Information Systems and Applications: 21st International Conference, Wisa 2024, Yinchuan, China, August 2-4, 2024, P, Book 14883, (Paperback)
Lecture Notes in Computer Science Learning Technologies and Systems: 21st International Conference on Web-Based Learning, Icwl 2022, and 7th International, Book 13869, (Paperback) $96.91
$9691current price $96.91Lecture Notes in Computer Science Learning Technologies and Systems: 21st International Conference on Web-Based Learning, Icwl 2022, and 7th International, Book 13869, (Paperback)
Lecture Notes in Computer Science Learning and Collaboration Technologies: 12th International Conference, Lct 2025, Held as Part of the 27th Hci Internati, Book 15806, (Paperback) $89.99
$8999current price $89.99Lecture Notes in Computer Science Learning and Collaboration Technologies: 12th International Conference, Lct 2025, Held as Part of the 27th Hci Internati, Book 15806, (Paperback)
Lecture Notes in Computer Science Computer Algebra in Scientific Computing: 24th International Workshop, Casc 2022, Gebze, Turkey, August 22-26, 2022, Pro, Book 13366, (Paperback) $88.39
$8839current price $88.39Lecture Notes in Computer Science Computer Algebra in Scientific Computing: 24th International Workshop, Casc 2022, Gebze, Turkey, August 22-26, 2022, Pro, Book 13366, (Paperback)
Lecture Notes in Computer Science Cross-Cultural Design: 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, Hcii , Book 14022, (Paperback) $90.07
$9007current price $90.07Lecture Notes in Computer Science Cross-Cultural Design: 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, Hcii , Book 14022, (Paperback)
Lecture Notes in Computer Science Rules and Reasoning: 7th International Joint Conference, Ruleml rr 2023, Oslo, Norway, September 18-20, 2023, Proceeding, Book 14244, (Paperback) $69.99
$6999current price $69.99Lecture Notes in Computer Science Rules and Reasoning: 7th International Joint Conference, Ruleml rr 2023, Oslo, Norway, September 18-20, 2023, Proceeding, Book 14244, (Paperback)
Lecture Notes in Computer Science Mathematics of Program Construction: 4th International Conference, Mpc'98, Marstrand, Sweden, June 15-17, 1998, Proceedi, Book 1422, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Mathematics of Program Construction: 4th International Conference, Mpc'98, Marstrand, Sweden, June 15-17, 1998, Proceedi, Book 1422, (Paperback)
Lecture Notes in Computer Science Hci International 2024 - Late Breaking Papers: 26th International Conference on Human-Computer Interaction, Hcii 2024, W, Book 15382, (Paperback) $74.99
$7499current price $74.99Lecture Notes in Computer Science Hci International 2024 - Late Breaking Papers: 26th International Conference on Human-Computer Interaction, Hcii 2024, W, Book 15382, (Paperback)
Extending the Boundaries of Design Science Theory and Practice: 14th International Conference on Design Science Research, (Paperback) $74.99
$7499current price $74.99Extending the Boundaries of Design Science Theory and Practice: 14th International Conference on Design Science Research, (Paperback)
Sofsem 2007: Theory and Practice of Computer Science: 33nd Conference on Current Trends in Theory and Practice of Comput, (Paperback) $107.81
$10781current price $107.81Sofsem 2007: Theory and Practice of Computer Science: 33nd Conference on Current Trends in Theory and Practice of Comput, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
