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

TAPSOFT '93: Theory and Practice of Software Development

TAPSOFT '93: Theory and Practice of Software Development

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

This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calculus, and a common session with CAAP on type inference.

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

Single Product Purchase

$84.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
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Ethics and Affects in the Fiction of Alice Munro

$129.99

Marxism versus Liberalism

$99.99

Genetics and Auditory Disorders

$129.00

Gesteuerte Dichtungsarbeiten beim Erddamm des Freibachkraftwerkes Krnten

$69.99

ber den Sicherheitsgrad von bewehrten und unbewehrten Betonkrpern, die auf zentrischen und exzentr

$49.99

Zwischen Binnenmarkt und Wahrung nationaler Identitt

$69.99

Beyond Law and Order

$29.99

Emissionsrechtehandel eine neue Perspektive fr die deutsche Klimapolitik nach Kioto

$49.99

Membrane Receptors, Dynamics, and Energetics

$39.99

Aristotle and The Philosophy of Law: Theory, Practice and Justice

$109.99

HCI for Cybersecurity, Privacy and Trust

$54.99

Oganisatorische Implementierung von Informationssystemen an Bankarbeitspltzen

$79.99

Biological Rhythms

$54.99

Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2009

$169.99

Biotectonics

$54.99

International Performance Research Pedagogies

$119.99

Neural Membranes

$169.00

Talk in Two Languages

$54.99

LINGUISTIC VALUES BASED INTELLIGENT INFORMATION PROCESSING

$119.00

Krperschaft- und Gewerbesteuer

$39.99

Computer Algebra Recipes for Classical Mechanics

$64.95

Fiscal Policy for Sustainable Development in Asia-Pacific

$99.00

British Seapower and Procurement between the Wars

$44.99

Repetitorium der Betriebswirtschaftslehre

$44.99

Observation of the Earth and its Environment

$74.99

John Clare

$39.99

Untersuchungen zur Verbesserung der Wasseraufbereitung und Wasseranalyse: ber die Schnellbewertung

$59.99

Mensch und Zeit

$64.99

I Have a Skeleton

$4.46

Proceedings of Eighth International Congress on Information and Communication Technology

$299.99

Management by Eidetic Intuition

$139.99

Six Paths to Leadership

$29.99

Physics for Particle Detectors and Particle Detectors for Physics

$179.99

Advanced Information Networking and Applications

$279.99

Homer-Probleme

$59.99

Hybrid Learning

$39.99

Datenbank-Engineering fr Wirtschaftsinformatiker

$69.95

International Networks, Advocacy and EU Energy Policy-Making

$109.99

Model-Driven Design Using IEC 61499

$84.99

Joe Pawsey and the Founding of Australian Radio Astronomy

$59.99