Copied Algebraic Methods II: Theory, Tools and Applications
Algebraic Methods II: Theory, Tools and Applications
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Supermassive Black Holes in the Distant Universe
$109.99
Ubiquitous Computing and Ambient Intelligence: Personalisation and User Adapted Services
$54.99
My Books Summer Spanish Grade 5 Fiction 5-Book Pack
$29.95
Deutsches Gesundheitswesen
$59.99
Unlocking Blockchain on Azure
$44.99
Writing Resistance in the Second World War
$84.99
Assessment of Climate Change over the Indian Region
$59.99
mmWave Massive MIMO Vehicular Communications
$54.99
Culture, Capital and Representation
$54.99
Strategisches IP-Management - mehr als nur Patente
$89.99
Untersuchungen der thermischen Entgasung von Metallen im Ultrahochvakuum mit Hilfe eines Omegatron-P
$59.99
The Path to Autonomous Robots
$109.99
Modes & Traits: Writing Lessons Across the Year Grade 2
$275.40
Windows File System Troubleshooting
$32.99
Food in the Internet Age
$54.99
Mathematik fr Wirtschaftswissenschaftler
$29.99
Quantitative Economics with R
$69.99
The Political Economy of De-liberalization
$79.99
Literature and Science as Modes of Expression
$129.00
Programming Languages and Systems
$39.99
Cancer Metastasis, Molecular and Cellular Mechanisms and Clinical Intervention
$129.00
Photonic Waveguide Components on Silicon Substrate
$54.99
Economic and Societal Transformation in Pandemic-Trapped India
$199.99
Mathematical Analysis II
$59.99
Welcome Books-Hard Work: A Day with Paramedics
$3.71
True Profit!
$32.99
Data and Applications Security and Privacy XXXIV
$54.99
Semiotics and Verbal Texts
$109.99
Aortic Dissection and Related Syndromes
$219.99
Attracting and Retaining Talent
$54.99
Aquaporins
$109.00
Querdenken im Marketing
$29.99
Vehicles of Tomorrow 2019
$109.99
Immunological Aspects
$219.99
Key Account Controlling in der pharmazeutischen Industrie
$49.99
Klassifikation maligner Tumoren der weiblichen Genitalorgane
$34.99
European Workshop on Structural Health Monitoring
$379.99
ber einige zur Zeit besonders aktuelle Streitfragen aus dem Gebiete der Cholelithiasis
$59.99
Radiation in a Cloudy Atmosphere
$129.00
Algorithm Engineering and Experimentation
$39.99
