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

Laser Optoelectronic Oscillators

$179.99

Economic Growth in the Regions of Europe

$84.99

Pensions in the European Union: Adapting to Economic and Social Change

$84.99

Wirkfaktoren menschlicher Vernderungsprozesse

$39.99

Towards a Sociology of Health Discourse in Africa

$54.99

Einfhrung in die Festigkeitslehre

$44.99

White Blood Cells

$54.99

Internationales Management im Umbruch

$74.99

Italiens Demokratie zwischen Volkssouvernitt und Verfassungsvorrang

$79.99

Die Erfolgswirkung globaler Marken

$59.99

Politische Bildung

$59.99

Introduction to Scientific Programming with Python

$37.99

Shock Fitting

$84.99

Wrmeleitung in Kristallen, theoretische Grundlagen und fortgeschrittene experimentelle Methoden

$54.99

Kafka

$19.99

Contemporary Themes in Humanities Higher Education

$109.99

Lebenslanges Lernen im demografischen Wandel

$39.99

Logistisch Denken

$29.99

Anna Seghers

$19.99

Handbuch Verkehrsunfallrekonstruktion

$349.99

Die Regenwlder Westafrikas

$44.99

Erkennung und Beurteilung der Meniskusverletzung des Kniegelenkes durch das Gewhnliche Rntgenbild

$59.99

The Making of Indian Secularism

$54.99

Measuring Selection in Natural Populations

$54.99

Regulations and Applications of Ethics in Business Practice

$199.99

Designing Aircraft Simulators

$159.99

Teaching with Sociological Imagination in Higher and Further Education

$54.99

Contested Voices

$54.99

Rise and Decline of Industry in Central and Eastern Europe

$84.99

Biosalinity in Action: Bioproduction with Saline Water

$169.00

Perspektiven der Kunstsoziologie

$44.99

Forest Development in Cold Climates

$219.99

Harmonic Analysis on Exponential Solvable Lie Groups

$109.99

Luftfahrtrecht

$59.99

Total Steroid Synthesis

$84.99

New Leadership in Strategy and Communication

$109.99

LitLeague Grade 5

$2,750.00

Verortungen des Dispositiv-Begriffs

$39.99

Lineare Optimierung

$29.99

Madness and Social Change

$84.99