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
Hayek's Modern Family
$129.99
Composition Operators
$79.99
Mistrust
$39.99
Evaluierung der Akzeptanz von Fahrerassistenzsystemen
$49.99
MEDICON23 and CMBEBIH23
$299.99
Complex Analysis in One Variable
$99.99
Austerity and Political Choice in Britain
$54.99
Technological Systems and Economic Performance: The Case of Factory Automation
$169.99
Creating Postcolonial Literature
$39.99
Image and Video Technology
$54.99
The Geology of Iberia: A Geodynamic Approach
$249.99
Der Kapp-Putsch als Wende
$44.99
Die Reform des hheren Schulwesens auf Grund der Ostendorfschen These: Der fremdsprachliche Unterric
$59.99
Cyber Racism and Community Resilience
$19.99
Geographies of the Romantic North
$39.99
Guanidino Compounds in Biology and Medicine
$169.99
Mathematik im Prozess
$69.99
Investment under Uncertainty, Coalition Spillovers and Market Evolution in a Game Theoretic Perspect
$129.00
The Foundational Debate
$169.99
Information Handling in Astronomy
$84.99
Advances in Communication of Design
$109.99
Coronary Circulation
$39.99
Trevor Winchester Swan, Volume II
$99.00
The United Nations and Sustainable Development Goals
$129.99
Project Selection Under Uncertainty
$84.99
Transnational Latina Narratives in the Twenty-first Century
$39.99
Artificial Intelligence
$129.99
Grundlagen der geometrischen Datenverarbeitung
$79.99
Value Distribution Theory
$54.99
Space Engineering
$54.99
Anleihefinanzierung im eigentmergefhrten deutschen Mittelstand
$69.99
Successful Emotions
$54.99
Martha Stewart's Cookie Perfection: 100+ Recipes to Take Your Sweet Treats to the Next Level: A Baking Book by Martha Stewart Living
$28.99
Philosophical Papers
$119.99
Coupled Boundary and Finite Element Methods for the Solution of the Dynamic Fluid-Structure Interact
$109.99
Quasi-unsteady CHP Operation of Power Plants
$109.99
berzeugungen und Begrndungen fachfremd Mathematiklehrender
$49.99
Die Untersuchung des Pulses und ihre Ergebnisse in gesunden und kranken Zustnden
$59.99
Sara: Sara and the Meaning of Awesome
$5.24
Kompetente Mitarbeiter und wandlungsfhige Organisationen
$74.99
