Copied Theoretical Aspects of Computer Software
Theoretical Aspects of Computer Software
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS'97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.
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
Neuroimmune Circuits, Drugs of Abuse, and Infectious Diseases
$129.00
Phonon Scattering in Condensed Matter VII
$84.99
Neuroimaging of Traumatic Brain Injury
$54.99
Grundzge der praktischen Pharmazie
$59.99
Monitoring for Adverse Drug Reactions
$219.99
Sequenz und Struktur des Pro-Enteropeptidase-Gens als Basis fr Mutationsanalysen bei angeborenem En
$69.99
Das objektorientierte Paradigma
$49.99
Technikgestaltung als Gegenstand gewerkschaftlicher Politik
$59.99
Walter Gautschi, Volume 2
$129.00
Female Delinquency From Childhood To Young Adulthood
$59.99
My Books Summer Grade 7 Fiction 5-Book Pack
$29.95
Global Labour in Distress, Volume I
$179.99
Flow and Transport in the Natural Environment: Advances and Applications
$84.99
Renewable Energy Transformation or Fossil Fuel Backlash
$149.00
Dynamic Models for the Inter-relations of Real and Financial Growth
$219.99
Combinatorial Machine Learning
$109.99
Physical Organic Chemistry of Quinodimethanes
$169.00
Individuum und Krankheit
$44.99
Photosynthesis: from Light to Biosphere
$169.99
Fundamental Problems of Gauge Field Theory
$54.99
Schwartz Spaces, Nuclear Spaces and Tensor Products
$54.99
Leaping Ahead
$169.99
Genetic Transformation of Plants
$219.99
Biology and Physiology of the Blood-Brain Barrier
$219.99
Windows Movie Maker 2 Zero to Hero
$24.99
Untersuchungen ber Durchgriffssteuerung fr Darstellung gespeicherter Radarbilder und dergleichen
$59.99
Electrical Machines
$159.99
High-Precision Earth Rotation and Earth-Moon Dynamics
$219.99
Isla
$5.96
Comparative Modernism and Poetics of Time
$119.99
Maximizing the Security and Development Benefits from the Biological and Toxin Weapons Convention
$169.99
Spiritual Well-Being of Chinese Older Adults
$39.99
Angehrige pflegen
$6.99
Werteorientierte Medienpdagogik
$37.99
Professionalitt
$59.99
Der Krankenhausmanager
$74.99
Evolution, Development and Complexity
$249.99
Bounded Rationality in Decision Making Under Uncertainty: Towards Optimal Granularity
$109.99
Youth Homelessness in Late Modernity
$54.99
Genetic factors in coronary heart disease
$219.99
