Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

First International Workshop on Larch

First International Workshop on Larch

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540198048
Condition
New
Product Description

The papers in this volume were presented at the First International Workshop on Larch, held at MIT Endicott House near Boston on 13-15 July 1992. Larch is a family of formal specification languages and tools, and this workshop was a forum for those who have designed the Larch languages, built tool support for them, particularly the Larch Prover, and used them to specify and reason about software and hardware systems. The Larch Project started in 1980, led by John Guttag at MIT and James Horning, then at Xerox/Palo Alto Research Center and now at Digital Equipment Corporation/Systems Research Center (DEC/SRC). Major applications have included VLSI circuit synthesis, medical device communications, compiler development and concurrent systems based on Lamport's TLA, as well as several applications to classical theorem proving and algebraic specification. Larch supports a two-tiered approach to specifying software and hardware modules. One tier of a specification is wrillen in the Larch Shared Language (LSL). An LSL specification describes mathematical abstractions such as sets, relations, and algebras; its semantics is defined in terms of first-order theories. The second tier is written in a Larch interface language, one designed for a specific programming language. An interface specification describes the effects of individual modules, e.g. state changes, resource allocation, and exceptions; its semantics is defined in terms of first-order predicates over two states, where state is defined in terms of the programming language's notion of state. Thus, LSL is programming language independent; a Larch interface language is programming language dependent.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Insulin

$69.99

Advances in Case-Based Reasoning

$84.99

Artificial Intelligence in PET/CT Oncologic Imaging

$169.99

Inference in Hidden Markov Models

$149.00

Die Kinder- und Jugendurologie

$179.99

Dopamine in the CNS II

$599.99

Kleingewerbliche Werkstttenhuser

$54.99

Betriebliches Umweltmanagement

$69.99

Langzeitberleben nach Nierentransplantation sichern

$59.99

Geometric Theory of Dynamical Systems

$69.99

Unternehmensplanspiele im industriebetrieblichen Hochschulstudium

$69.99

Europa - quo vadis?

$44.99

Case Studies in Legal Psychology

$99.99

Corporate Social Capital and Liability

$169.00

Adaptive Mechanics

$109.99

Bubbles and Contagion in Financial Markets, Volume 2

$109.99

The Gift - 14 Lessons to Save Your Life by Edith Eva Eger

$25.00

Iron Ores Bioprocessing

$129.00

Domagk 1937-1951

$49.99

Juristische Personen und ihre Organe als Vorstand der Stiftung

$59.99

Reproductive Sciences in Animal Conservation

$149.00

Ergebnisse der Allgemeinen Pathologie und Pathologischen Anatomie des Menschen und der Tiere

$59.99

Waste Treatment in the Biotechnology, Agricultural and Food Industries

$109.00

Palpationsatlas

$74.99

Aktiengesellschaft und Holdinggesellschaft in der Schweiz. Geltendes Recht und Revision

$59.99

Performing Arts as High-Impact Practice

$199.99

Creating Conditions for Promising Collaboration

$69.99

Conceptual Structures: Fulfilling Peirce's Dream

$84.99

My People

$6.71

Handbuch der Schweitechnik

$84.99

Handbuch Versepik

$149.99

The Pain Management Handbook

$89.00

Waves in Plasmas

$109.99

Strategische Personalentwicklung

$69.99

Metzler Lexikon antiker Literatur

$49.99

Commodifying Education

$39.99

Essentials of Single-Cell Analysis

$109.99

The Economy as a Complex Spatial System

$59.99

Students with Intellectual Disabilities

$54.99

Berechnung gesicherter Einzugsgebiete fr nichtlineare Systeme mit Hilfe von Bzout-Matrizen

$74.99