Copied Theoretical Aspects of Computer Software
Theoretical Aspects of Computer Software
TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.
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 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Grain Boundary Segregation in Metals
$199.99
Managing Urban Water Supply
$169.99
The Amazing Age of John Roy Lynch
$8.21
Rotation, Divergenz und das Drumherum
$49.99
International Diffusion of Pharmaceuticals
$44.99
Community-Acquired Pneumonia
$169.00
Illustrations
$109.99
Mine Wastes and Water, Ecological Engineering and Metals Extraction
$139.99
Ancient Animals, New Challenges
$169.99
Challenging Global Gender Violence: The Global Clothesline Project
$39.99
Rollennahtschweien von Feinblechen verschiedener Beschaffenheit unter 0,5 mm mit besonderer Bercks
$59.99
Conceptual Modeling - ER 2004
$109.99
Bilanzpolitik
$69.99
Wirkfaktoren menschlicher Vernderungsprozesse
$39.99
Zerebrale Dopplersonographie im Kindesalter
$69.99
Climate Change in the Mediterranean and Middle Eastern Region
$169.99
Virtual Reality in Behavioral Neuroscience: New Insights and Methods
$199.99
Buster's Trip to Victory Lane by Dale Earnhardt Jr
$18.99
Die Mikrozirkulation und ihre Bedeutung fr alles Leben
$17.99
Fuball als Soziales Feld
$44.99
The Ins and Outs of Business and Professional Discourse Research
$39.99
Modern Optimisation Techniques in Power Systems
$169.99
Statistical Mechanics of Lattice Systems
$54.99
Art Encounters Deleuze and Guattari
$109.99
Italy and Japan: How Similar Are They?
$84.99
Foreign Policy and the Media
$54.99
Neuropsychology of Schizophrenia
$19.99
Principles of Neurochemistry
$109.99
Domain-Specific Model-Driven Testing
$109.00
Development and Neurobiology of Drosophila
$129.00
Handbook of Research in Pediatric and Clinical Child Psychology
$329.99
DV-Controlling bei Finanzdienstleistern
$69.99
The Designers Guide to Spice and Spectre
$219.00
Inductive Logic Programming
$54.99
Animal Lectins: Form, Function and Clinical Applications
$329.99
Primary Care Medicine for Psychiatrists
$79.99
Interne Kommunikation in kleinen und mittleren Unternehmen
$69.99
Organometallic Chemistry of the Transition Elements
$219.99
Stabilization Clauses in International Investment Law
$199.99
HCI International 2020 Late Breaking Papers: Digital Human Modeling and Ergonomics, Mobility and I
$109.99
