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: 112.76 GBP
Availability: InStock

Architecture & Microprocessors

This is the usual price. Wait for it to drop, or tell us your number.

£113 today · usual range £23–£121 · best ever £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 44 days • 44 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 44 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £113 (20 days, 45.5%)

Price range: £23 - £121

Price levels: 3 different prices over 44 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)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Constructive Methods in Computing Science: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare: 55 (NATO ASI Subseries F:, 55)

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)

Logics for Computer Science: Classical and Non-Classical

Representation Theorems in Computer Science: A Treatment in Logic Engineering

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today: 3 (Logic, Epistemology, and the Unity of Science, 3)

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

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)

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

Logic for Concurrency and Synchronisation: 18 (Trends in Logic, 18)

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

Boolean Constructions in Universal Algebras: 242 (Mathematics and Its Applications, 242)

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)

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

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

Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning: 88 (Intelligent Systems Reference Library, 88)

Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)

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