Copied Logic and Algebra of Specification
Logic and Algebra of Specification
For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new developments in logic are partly based on the use of algorithmic techniques in deduction and proving methods, but are alsodue to new theoretical advances, to a great extent stimulated by computer science, which have led to new types of logic and new logical calculi. The new techniques, methods and tools from logic, combined with algebra-based ones, offer very powerful and useful tools for the computer scientist, which may soon become practical for commercial use, where, in particular, more powerful specification tools are needed for concurrent and distributed systems. This volume contains papers based on lectures by leading researchers which were originally given at an international summer school held in Marktoberdorf in 1991. The papers aim to give a foundation for combining logic and algebra for the purposes of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods.
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
|
|
$129.00 | $129.00 |
|
$129.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Mentoring im Talent Management
$29.99
Upper Middle Class Social Reproduction
$59.99
Public Men
$54.99
Geschichte der Handels- und Absatzwirtschaftlichen Literatur
$59.99
Planung
$74.99
Cost Optimal and Nearly Zero-Energy Buildings (nZEB)
$109.99
Trajectories of Governance
$119.00
Crisis in Early Religion
$99.99
Fusionsentscheidung und Wert der Kreditgenossenschaft
$69.99
Digital erfolgreich
$69.99
My Friends
$4.46
Africas Quest for Modernity
$119.99
Recht richtig formulieren
$39.99
Swasserflora von Mitteleuropa, Bd. 20: Schizomycetes
$139.99
Genomics of Disease
$129.00
Asia's Changing International Investment Regime
$159.99
The EU and the Non-Proliferation of Nuclear Weapons
$54.99
Algorithms and Architectures for Parallel Processing
$54.99
Biotechnological Advances in Aquaculture Health Management
$219.99
Corporate Brand Management
$69.99
Drug Addiction and AIDS
$54.99
Interactive Theorem Proving
$54.99
Sustainable Development for the Healthcare Industry
$54.99
Einfhrung in den Eurocode 3
$74.99
Histological Typing of Tumours of the Eye and Its Adnexa
$54.99
Geometric Method for Type Synthesis of Parallel Manipulators
$109.99
Recent Developments in Anisotropic Heterogeneous Shell Theory
$54.99
Kritische Theorie und historische Politik
$39.99
A First Course in Group Theory
$54.99
Parallel Processing: CONPAR 92 VAPP V
$39.99
Sound and Signals
$84.99
The OAS and the Promotion and Protection of Human Rights
$54.99
A Multidimensional Economic Assessment of Africa
$169.99
Studies in Religion
$39.99
IFRS und Controlling
$59.95
Legal Responses to Vacant Houses
$64.99
Wirkungsgradoptimales ottomotorisches Konzept fr einen Hybridantriebsstrang
$69.99
Gabler Lexikon Unternehmensberatung
$149.99
Integrative Tools fr die Team- und Organisationsdiagnose
$29.99
Nutrition Biophysics
$109.99
