Copied TAPSOFT '95: Theory and Practice of Software Development
TAPSOFT '95: Theory and Practice of Software Development
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.
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
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Saving Face in Business
$179.99
The Molecular Immunology of Complex Carbohydrates
$84.99
Neuroorthopdie
$79.99
Media and Nostalgia
$129.99
Higher Order Thinking Skills in the Language Classroom: A Concise Guide
$129.99
Jugend und Demokratie in Deutschland
$59.99
Genetic Design Automation
$39.99
Pollen Cryopreservation Protocols
$249.99
Automated Deduction - Cade-13
$84.99
New Ethnographies of Football in Europe
$54.99
Numerische Strmungsmechanik
$59.99
Production of Biofuels and Chemicals with Pyrolysis
$219.99
Microphysics of Magnetic Reconnection in Near-Earth Space
$139.99
Manual of Offshore Surveying for Geoscientists and Engineers
$169.99
Introducing Functional Programming Using C#
$49.99
Wider die sozialistische Familiennorm
$39.99
Numerical Geometry, Grid Generation and Scientific Computing
$169.99
Extending the Business Network Approach
$109.99
Lebendige Wirtschaftsdidaktik
$44.99
Origins and Foundations of Computing
$37.99
Melanin Chemistry Explored by Quantum Mechanics
$119.00
Atlas and Catalogue of Infrared Sources in the Magellanic Clouds
$39.99
Translation and Neoliberalism
$169.99
ber die Schnheit des Findens
$74.99
Multi-Level Capacitated Lotsizing with Setup Carryover
$49.99
Information Management and Big Data
$54.99
Vergleichende und funktionelle Anatomie der Wirbeltiere
$49.99
Die Hochstrassen des Weltluftverkehrs
$59.99
Knowledge Discovery, Knowledge Engineering and Knowledge Management
$54.99
Elizabeth Gaskell
$54.99
Neurotoxicity of Metals
$169.99
Scale Optimization in Supply Chains and Smart Manufacturing
$54.99
Progress in Drug Research / Fortschritte der Arzneimittelforschung / Progrs des recherches pharmace
$39.99
Randomness and Hyper-randomness
$84.99
Validity of Educational Assessments in Chile and Latin America
$179.99
Das Oligomerenproblem bei Polyesterfasern
$84.99
A Basic Course in Probability Theory
$44.99
Rechtsgrundlagen fr den Bankkaufmann
$69.99
The Bonn Handbook of Globality
$189.00
Haunted Hardy
$119.99
