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

Theory and Formal Methods 1993

Theory and Formal Methods 1993

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

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The papers fall into four broad areas: semantics concurrency logic specification with some papers spanning a number of disciplines. The subject material varies from work on mathematical foundations to practical applications of this theory, expressing the Section's commitment to both the foundations of computer science, and the application of theory to real computing problems. In preparing the workshop and these proceedings, care was taken to ensure that there were papers overviewing a field, as well as ones whose primary aim was to present new scientifIc results. This had a dual purpose: to bring our Section members up to speed in some of the areas being worked on by the Section; and to provide the reader of the proceedings not only with a good introduction to many of the specifIc areas being investigated by the Section, but also with details of some of our latest results. All the papers presented at the workshop were revised following comments made by the workshop participants, and all were subsequently reviewed by at least two people before producing the fInal versions contained in this volume.

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

Rhetorik

$69.99

Biology of Algae, Lichens and Bryophytes

$129.99

Differential-Algebraic Equations: A Projector Based Analysis

$109.99

Democracy after Covid

$84.99

Lipid Signaling in Human Diseases

$169.99

Vortrge der IX. Fortbildungswoche der Dermatologischen Klinik und Poliklinik der Ludwig-Maximilians

$69.99

Acoustics for Engineers

$99.99

Typaldos-Methode

$37.99

Bad Ol Boy

$39.99

Applications and Techniques in Information Security

$84.99

A Study in String Processing Languages

$39.99

Theory and Reality in World Politics

$39.99

Fortschritte der Chemischen Forschung

$44.99

Controlling in mittelstndischen Unternehmen in Russland

$64.99

Industrial Applications

$379.99

Internet of Things and Artificial Intelligence for Smart Environments

$59.99

Das Bewutsein

$64.99

The Welfare State System and Common Security

$129.99

Current Advances in Ocular Surgery

$159.99

Quick Guide Social-Media-Recht der ffentlichen Verwaltung

$19.99

Social Security, the Economy and Development

$109.99

Ingenieurpromotion - Strken und Qualittssicherung

$59.99

Statik des Tunnel- und Stollenbaues

$59.99

Varieties of English

$59.99

Wherever You Go - A Guide to Mindful, Sustainable, and Life-Changing Travel by Daniel Houghton

$26.99

International Comparative Approaches to Free Speech and Open Inquiry (FSOI)

$84.99

Handbook of Osteopathic Technique

$109.00

Ego-histories of France and the Second World War

$99.99

Kinderflchtlinge

$49.99

Transplantation in Hematology and Oncology

$84.99

Network Analysis Literacy

$159.99

This Winter (Hardcover)

$13.49

Advances in Engine and Powertrain Research and Technology

$64.99

Lunar Outpost

$44.99

Scenarios: Models, Transformations and Tools

$54.99

Nearshore Sediment Transport

$129.00

Image-Schemata und deutsche Prpositionen

$64.99

Politische Vergemeinschaftung durch symbolische Politik

$64.99

Cell-Mediated Effects of Immunoglobulins

$219.99

Probleme der Schallbewertung

$59.99