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

Klimawandel Grundlagen und Spekulation

$34.99

Essentials of Game Theory

$24.99

Politische Metaphorologie

$14.99

Consciousness and Science Fiction

$37.99

Function Algebras on Finite Sets

$109.99

Illustrirtes Buchbinderbuch

$49.99

Knowledge Science, Engineering and Management

$54.99

Philosophical Investigations in the U.S.S.R

$54.99

Autogenes Entspannen bei niedrigen Temperaturen

$59.99

Freundlichkeit im Schulalltag

$44.99

Ultrasound-Guided Procedures in Equine Orthopedics and Surgery

$99.99

Product Development in the Socio-sphere

$84.99

Robuste Planung und Optimierung

$149.99

Arachidonic Acid Metabolism and Tumor Initiation

$109.99

Pattern Recognition and Information Processing

$54.99

Konig, Weiser, Liebhaber und Skeptiker

$119.99

Moritz Schlick

$109.99

Logic Programming '86

$39.99

Sozialer Raum und Soziale Arbeit

$19.99

El Enmascarado de Lata

$4.49

Methode der Randelemente in Statik und Dynamik

$74.99

Handbuch Methoden Visueller Kommunikation in der Rumlichen Planung

$149.99

Computational Science ICCS 2023

$99.99

Discrete Element Method in the Design of Transport Systems

$109.99

Thoraxtumoren

$54.99

Handbuch Fderalismus - Fderalismus als demokratische Rechtsordnung und Rechtskultur in Deutschland

$139.00

Paula Deen's Southern Cooking Bible - The New Classic Guide to Delicious Dishes with More than 300 Recipes by Paula Deen

$35.00

International Insolvency Law

$119.99

Mobile Networks and Management

$54.99

Economic Forecasting and Policy

$84.99

Ageing, Narrative and Identity

$54.99

Physics of Black Holes

$54.99

Heat Shock Proteins and Inflammation

$129.00

E-maintenance

$169.99

Erweiterte berufsbezogene Erreichbarkeit

$54.99

Control Systems Synthesis

$39.99

Research on Cognition Disorders

$54.99

Solid Phase Microextraction

$129.00

Intelligent Transportation and Evacuation Planning

$109.99

Micellar Solutions and Microemulsions

$39.99