Lecture Notes in Computer Science Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21,, Book 947, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21,, Book 947, (Paperback)
- Author: Springer
- ISBN: 9783540601173
- Format: Paperback
- Publication Date: 1995-07-10
- Page Count: 479
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date1995-07-10
- Pages479
- Number in series947
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 43 min
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (1)
Starting from $56.14
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.
Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.
Besides five invited lectures by distinguished researchers there are presented 19 full revised papers selected from a total of 58 submissions. The general theme is the use of crisp, clear mathematics in the discovery and design of algorithms and in the development of corresponding software and hardware; among the topics addressed are program transformation, program analysis, program verification, as well as convincing case studies.
- Lecture Notes in Computer Science Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21,, Book 947, (Paperback)
- Author: Springer
- ISBN: 9783540601173
- Format: Paperback
- Publication Date: 1995-07-10
- Page Count: 479
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
1995-07-10
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 Ecoop '93 - Object-Oriented Programming: 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993. Procee, Book 707, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Ecoop '93 - Object-Oriented Programming: 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993. Procee, Book 707, (Paperback)
Lecture Notes in Computer Science Database Theory - Icdt '92: 4th International Conference, Berlin, Germany, October 14-16, 1992. Proceedings, Book 646, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Database Theory - Icdt '92: 4th International Conference, Berlin, Germany, October 14-16, 1992. Proceedings, Book 646, (Paperback)
Lecture Notes in Computer Science Interval Mathematics: Proceedings of the International Symposium Karlsruhe, West Germany, May 20-24, 1975, Book 29, (Paperback) $49.99
$4999current price $49.99Lecture Notes in Computer Science Interval Mathematics: Proceedings of the International Symposium Karlsruhe, West Germany, May 20-24, 1975, Book 29, (Paperback)
Lecture Notes in Computer Science Machines, Computations, and Universality: 10th International Conference, McU 2024, Nice, France, June 5-7, 2024, Revised, Book 15270, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Machines, Computations, and Universality: 10th International Conference, McU 2024, Nice, France, June 5-7, 2024, Revised, Book 15270, (Paperback)
Lecture Notes in Computer Science The Munich Project Cip: Volume II: The Programme Transformation System Cip-S, Book 292, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science The Munich Project Cip: Volume II: The Programme Transformation System Cip-S, Book 292, (Paperback)
Lecture Notes in Computer Science Generative and Component-Based Software Engineering: First International Symposium, Gcse'99, Erfurt, Germany, Septe, Book 1799, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Generative and Component-Based Software Engineering: First International Symposium, Gcse'99, Erfurt, Germany, Septe, Book 1799, (Paperback)
Lecture Notes in Computer Science Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 199, Book 845, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 199, Book 845, (Paperback)
Lecture Notes in Computer Science Software Visualization: International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures, Book 2269, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Software Visualization: International Seminar Dagstuhl Castle, Germany, May 20-25, 2001 Revised Lectures, Book 2269, (Paperback)
Lecture Notes in Computer Science Advanced Information Systems Engineering: 11th International Conference, Caise'99, Heidelberg, Germany, June 14-18,, 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,, Book 1626, (Paperback)
Lecture Notes in Computer Science Grid Services Engineering and Management: First International Conference, Gsem 2004, Erfurt, Germany, September 27-30, 2, Book 3270, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Grid Services Engineering and Management: First International Conference, Gsem 2004, Erfurt, Germany, September 27-30, 2, Book 3270, (Paperback)
Lecture Notes in Computer Science Product Focused Software Process Improvement: Third International Conference, Profes 2001, Kaiserslautern, Germany, Sept, Book 2188, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Product Focused Software Process Improvement: Third International Conference, Profes 2001, Kaiserslautern, Germany, Sept, Book 2188, (Paperback)
Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Procee, (Paperback) $56.14
$5614current price $56.14Mathematics of Program Construction: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Procee, (Paperback)
Lecture Notes in Computer Science Pattern Recognition: 44th Dagm German Conference, Dagm Gcpr 2022, Konstanz, Germany, September 27-30, 2022, Proceedings, Book 13485, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Pattern Recognition: 44th Dagm German Conference, Dagm Gcpr 2022, Konstanz, Germany, September 27-30, 2022, Proceedings, Book 13485, (Paperback)
Lecture Notes in Computer Science Fundamentals of Computation Theory: 8th International Conference, Fct '91, Gosen, Germany, September 9-13, 1991. Pr, Book 529, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Fundamentals of Computation Theory: 8th International Conference, Fct '91, Gosen, Germany, September 9-13, 1991. Pr, Book 529, (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)
Lecture Notes in Computer Science Smart Grapics: Third International Symposium, Sg 2003, Heidelberg, Germany, July2-4, 2003, Proceedings, Book 2733, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Smart Grapics: Third International Symposium, Sg 2003, Heidelberg, Germany, July2-4, 2003, Proceedings, Book 2733, (Paperback)
Lecture Notes in Computer Science Innovative Internet Community Systems: Third International Workshop, Iics 2003, Leipzig, Germany, June 19-21, 2003, Revi, Book 2877, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Innovative Internet Community Systems: Third International Workshop, Iics 2003, Leipzig, Germany, June 19-21, 2003, Revi, Book 2877, (Paperback)
Lecture Notes in Computer Science Pervasive Computing: First International Conference, Pervasive 2002, Zürich, Switzerland, August 26-28, 2002. Proceeding, Book 2414, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Pervasive Computing: First International Conference, Pervasive 2002, Zürich, Switzerland, August 26-28, 2002. Proceeding, Book 2414, (Paperback)
Lecture Notes in Computer Science Distributed Algorithms: 11th International Workshop, Wdag '97, Saarbrücken, Germany, September 24-26, 1997, Proceed, Book 1320, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Distributed Algorithms: 11th International Workshop, Wdag '97, Saarbrücken, Germany, September 24-26, 1997, Proceed, Book 1320, (Paperback)
Lecture Notes in Computer Science Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the N, Book 982, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the N, Book 982, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- El Barco 2
- Hu Instrument Trade
- Service Tm
- 2008 National Electrical Code
- Jw Field Service Supplies
- Military Clep Testing
- Signals & Signal Processing Technology & Engineering Books
- Transistor Electronics Technology & Engineering Books
- Mobile & Wireless Communications Books
- General Data Transmission Systems Books
- VLSI & ULSI Circuits Technology & Engineering Books
- General Diagnostic Imaging Books