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

Specification and Verification of Concurrent Systems

Specification and Verification of Concurrent Systems

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

This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, at the University of Stirling, Scotland. Specification and verification techniques are playing an increasingly important role in the design and production of practical concurrent systems. The wider application of these techniques serves to identify difficult problems that require new approaches to their solution and further developments in specification and verification. The Workshop aimed to capture this interplay by providing a forum for the exchange of the experience of academic and industrial experts in the field. Presentations included: surveys, original research, practical experi ence with methods, tools and environments in the following or related areas: Object-oriented, process, data and logic based models and specifi cation methods for concurrent systems Verification of concurrent systems Tools and environments for the analysis of concurrent systems Applications of specification languages to practical concurrent system design and development. We should like to thank the invited speakers and all the authors of the papers whose work contributed to making the Workshop such a success. We were particularly pleased with the international response to our call for papers. Invited Speakers Pierre America Philips Research Laboratories University of Warwick Professor M. Joseph David Freestone British Telecom Organising Committee Charles Rattray Dr Muffy Thomas Dr Simon Jones Dr John Cooke Professor Ken Turner Derek Coleman Maurice Naftalin Dr Peter Scharbach vi Preface We would like to aeknowledge the finaneial eontribution made by SD-Sysems Designers pie, Camberley, Surrey.

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

Organic Micropollutants in the Aquatic Environment

$39.99

Auf dem Weg vom Kleinkind zum Schulkind

$59.99

The Future of Antarctica

$109.00

Solid Oral Dose Process Validation

$84.99

Molecules Containing Three or Four Carbon Atoms and Molecules Containing Five or More Carbon Atoms

$549.99

Flora of the Codex Cruz-Badianus

$249.99

Carbon-Ion Radiotherapy

$199.99

Static and Dynamic Properties of the Polymeric Solid State

$54.99

Nano/Micro Biotechnology

$329.99

Beneficial Microorganisms in Agriculture, Aquaculture and Other Areas

$84.99

Improving Incentives for the Low-Paid

$29.99

Warlords in International Relations

$84.99

Mathematical Modelling of Industrial Processes

$29.99

Beginning Database Design

$54.99

Active Learning in Political Science for a Post-Pandemic World

$54.99

On the Existence and Relevance of God

$109.99

Clean Energy from Waste

$139.99

Distortion Theorems in Relation to Linear Integral Operators

$39.99

How the East Was Won

$109.99

Lsungen zum Lehrbuch Steuerlehre 2 Rechtslage 2021

$19.99

Erfahrungen beim Verspinnen von Perlonfasern und bei der Herstellung von Trikotagen aus gesponnenem

$54.99

Organische Chemie

$44.99

Chemistry and Technology of Water Based Inks

$329.99

Smart Organizations and Smart Artifacts

$39.99

The Handbook of Formal Methods in Human-Computer Interaction

$329.99

Computer Vision ECCV 2024

$64.99

Geometry and Topology

$39.99

Boko Harams Terrorism and the Nigerian State

$79.99

Auftragskommunikation

$17.99

Vascular Surgery

$219.99

In der Schule

$39.99

Pressure Vessel Design

$169.99

Jost Brgi's Aritmetische und Geometrische Progre Tabulen (1620)

$54.99

The Southern Boundary Region of the Winter Anomaly in Ionospheric Absorption in Winter 1971/72 Obser

$109.99

Theorie der Institution

$69.99

My Fate According to the Butterfly

$5.96

Multiscale Modeling in Epitaxial Growth

$169.99

Comparative Genomics

$219.99

The Asian Megacity Region

$84.99

Proceedings of the 7th International Conference on Civil Engineering

$249.99