Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94) - Image 1

£112.76

Springer Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)

Name: Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)
Brand: Springer
Price: 113.36 GBP
Availability: InStock

Architecture & Microprocessors

Pricier than usual. £33 more than the 30-day average — we'd wait.

£113 today · 30-day average £80 · all-time low £23

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 90 days • 90 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 90 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £113 (50 days, 55.6%)

Price range: £23 - £121

Price levels: 4 different prices over 90 days

Description

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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3540558136
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 05 July 1993
Listed Since: 16 December 2006

Barcode

No barcode data available

Springer Logic and Algebra of Specification: 94 (NATO ASI Subseries F:, 94)

Pricier than usual. £33 more than the 30-day average — we'd wait.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic and Architecture Synthesis (IFIP Advances in Information and Communication Technology)

Specification and Verification of Multi-agent Systems

Logic Synthesis and Optimization: 212 (The Springer International Series in Engineering and Computer Science, 212)

Deductive Program Design: 152 (NATO ASI Subseries F:, 152)

Logic Synthesis for Field-Programmable Gate Arrays: 324 (The Springer International Series in Engineering and Computer Science, 324)

Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability: 132 (Studies in Fuzziness and Soft Computing, 132)

Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989: 21 (Mathematical Sciences Research Institute Publications, 21)

Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings: 1349 (Lecture Notes in Computer Science, 1349)

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)

Foundations of Real-Time Computing: Formal Specifications and Methods: 142 (The Springer International Series in Engineering and Computer Science, 142)

Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2013: 311 (Lecture Notes in Electrical Engineering, 311)

Between Logic and Reality: Modeling Inference, Action and Understanding: 25 (Logic, Epistemology, and the Unity of Science, 25)

High-Level System Modeling: Specification Languages: 3 (Current Issues in Electronic Modeling, 3)

Handbook of Spatial Logics

Multiprocessor Execution of Logic Programs

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines: 24 (Studies in Computational Intelligence, 24)

Logic Synthesis and Verification: 654 (The Springer International Series in Engineering and Computer Science, 654)

Advances in Intensional Logic: 7 (Applied Logic Series, 7)

Reasoning with Rough Sets: Logical Approaches to Granularity-Based Framework: 142 (Intelligent Systems Reference Library, 142)

Topics in Philosophical Logic: 17 (Synthese Library, 17)

Argumentation in Artificial Intelligence

Advanced Techniques in Logic Synthesis, Optimizations and Applications