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 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Learn to Draw Pets
$9.95
The Togaviridae and Flaviviridae
$54.99
Optical Activity and Chiral Discrimination
$169.99
Keats, Hunt and the Aesthetics of Pleasure
$84.99
Medizinische Therapie in Klinik und Praxis
$54.99
Fibrin Sealing in Surgical and Nonsurgical Fields
$109.99
Voices from the Front
$54.99
Luftelektrizitt und Radioaktivitt
$39.99
Effective Interventions in the Lives of Criminal Offenders
$109.99
Handbuch Kommunale Sozialpolitik
$99.99
Optogenetics
$109.99
Methode zur ergebnisorientierten Gestaltung von Entwicklungsprozessen
$69.99
Somatechnics and Popular Music in Digital Contexts
$84.99
Mind in Action
$54.99
Reform Options for the EU Own Resources System
$109.99
Morality, Moral Luck and Responsibility
$54.99
Neue Synthesen und Reaktionen in der Adamantan-Reihe
$69.99
Secularism in Comparative Perspective
$129.99
Literature after Postmodernism
$119.99
Arithmetic and Geometry Around Hypergeometric Functions
$139.99
Rechnungswesen und EDV
$74.99
Lignocellulosic Materials and Their Use in Bio-based Packaging
$39.99
Embryonic Stem Cell Protocols
$129.00
Fractional Programming
$109.99
Green (Hardcover)
$13.49
Muscles
$5.96
Developing Models in Science Education
$169.99
Inviscid Fluid Flows
$109.99
Ernhrungsempfehlungen fr Krebskranke in Behandlung
$84.99
Transplantation in Hematology and Oncology II
$129.00
Bioreactors for Tissue Engineering
$219.99
Photoacoustic and Photothermal Phenomena
$84.99
The Other East and Nineteenth-Century British Literature
$54.99
The Genesis Mission
$84.99
Die Genese von Wahlsystemen in Transitionsprozessen
$59.99
Wrterbuch der Sugetiernamen - Dictionary of Mammal Names
$129.99
Umweltorientierte Leistungsbeurteilung
$49.99
Palladium in Organic Synthesis
$259.00
The Scientific Basis of Oral Health Education
$84.99
Stochastic Differential Geometry at Saint-Flour
$69.95
