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
Die Schrumpfung geschweiter Stumpfnhte
$54.99
Wetlands for Remediation in the Tropics
$199.99
Underwater Counting
$5.21
Fodor's Walt Disney World- With Universal & the Best of Orlando by Fodor's Travel Publications
$19.99
Muslim- und Islamfeindlichkeit in Deutschland
$17.99
Doctoral Education for the Knowledge Society
$109.99
Social-Emotional Prevention Programs for Preschool Children's Behavior Problems
$109.99
Theorie der Konstruktionsprozesse
$59.99
EUROSAM 84
$39.99
Electrical Diseases of the Heart
$199.99
Sand Dune Conservation, Management and Restoration
$139.99
Alexander von Humboldt: Geographie der Pflanzen
$64.99
Towards Innovative Transport Systems
$84.99
The Grammar of Discourse
$169.99
Quantum Non-linear Sigma-Models
$139.99
Entzndung und Immunitt
$59.99
Physiologie und Pathologie der Hormonorgane; Regulation von Wachstum und Entwicklung; die Verdauung
$69.99
Lignocellulosic Fibers
$49.99
Eastern Resonances in Early Modern England
$89.99
Euro-Par 2008 Parallel Processing
$84.99
CONAT 2024 International Congress of Automotive and Transport Engineering
$219.99
Peppa Pig: Sper Peppa!
$4.49
Irish Traveller Language
$79.99
Economic Factors in Population Growth
$129.00
Theranostics Approaches to Gastric and Colon Cancer
$109.99
Community Adaptation and Vulnerability in Arctic Regions
$129.00
Computer Animation and Simulation 2000
$109.99
Augmenting Health and Social Care Students Clinical Learning Experiences
$84.99
Migration, Masculinities and Reproductive Labour
$119.99
Re-Calling the Humanities
$49.99
Web and Internet Economics
$79.99
Petri Net Primer
$89.99
Stadtgeographie
$39.99
Protein and Sugar Export and Assembly in Gram-positive Bacteria
$149.00
Immunologic Methods in Steroid Determination
$39.99
Produktionspolitik
$59.99
Cyber-Archaeology and Grand Narratives
$99.99
New Frontiers in Information and Software as Services
$39.99
Politisierter Konsum - konsumierte Politik
$49.99
Partnerschaftsprobleme?
$24.99
