0 Item

Foundations of Software Technology and Theoretical Computer Science

15th Conference; Bangalore, India, December 1995. Proceedings

By: P.S. Thiagarajan (Editor)

Write A Review

Paperback | 4 December 1995

At a Glance

Paperback
536 Pages

Dimensions(cm)
23.39 x 15.6 x 2.74

Paperback

$111.38

or 4 interest-free payments of $27.84 with

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995.
The volume presents 31 full revised research papers selected from a total of 106 submissions together with full papers of four invited talks. Among the topics covered are algorithms, software technology, functional programming theory, distributed algorithms, term rewriting and constraint logic programming, complexity theory, process algebras, computational geometry, and temporal logics and verification theory.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Mathematics Mathematical Foundation Mathematical Logic Artificial Intelligence Computer Programming & Software Development Algorithms & Data Structures Graphical & Digital Media Applications Combinatorics & Graph Theory

Software Engineering

Looking for MUM and DAD: text-text comparisons do help	p. 1
Branch and Bound on the Network Model	p. 11
A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors	p. 22
Efficient Algorithms for Vertex Arboricity of Planar Graphs	p. 37
A Condition for the Three Colourability of Planar Locally Path Graphs	p. 52
A Framework for the Specification of Reactive and Concurrent Systems in Z	p. 62
Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems	p. 80
Verifying Part of the ACCESS.bus Protocol Using PVS	p. 96
Reusing Batch Parsers as Incremental Parsers	p. 111
The Expressive Power of Indeterminate Primitives in Asynchronous Computation	p. 124
The Transformation Calculus	p. 151
Equational Axiomatization of Bicoercibility for Polymorphic Types	p. 166
From Causal Consistency to Sequential Consistency in Shared Memory Systems	p. 180
Observation of Software for Distributed Systems with RCL	p. 195
Partiality and Approximation Schemes for Local Consistency in Networks of Constraints	p. 210
Maximal Extensions of Simplification Orderings	p. 225
Average Polynomial Time Is Hard for Exponential Time Under sn-Reductions	p. 240
On Self-Testing without the Generator Bottleneck	p. 248
Observing Behaviour Categorically	p. 263
An Algorithm for Reducing Binary Branchings	p. 279
On the Complexity of Bisimilarity for Value-Passing Processes	p. 294
On the Expressive Power of CCS	p. 309
Polarized Name Passing	p. 324
Path Balance Heuristic for Self-Adjusting Binary Search Trees	p. 338
Pattern Matching in Compressed Texts	p. 349
All-Pairs Min-Cut in Sparse Networks	p. 363
Minimizing Space Usage in Evaluation of Expression Trees	p. 377
Smooth Surfaces for Multi-Scale Shape Representation	p. 391
On Parallel Complexity of Planar Triangulations	p. 413
Computing a Largest Empty Anchored Cylinder, and Related Problems	p. 428
Computing Hierarchies of Clusters from the Euclidean Minimum Spanning Tree in Linear Time	p. 443
Determinizing Buchi Asynchronous Automata	p. 456
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy	p. 471
Generalized Temporal Verification Diagrams	p. 484
Model Checking of Probabilistic and Nondeterministic Systems	p. 499
Authors Index	p. 515
Table of Contents provided by Blackwell. All Rights Reserved.

Foundations of Software Technology and Theoretical Computer Science

15th Conference; Bangalore, India, December 1995. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

Robotics Goes MOOC

Interaction

Powerful, Profitable Software Products

The Executive Guidebook

Artificial Intelligence for Cyber Security and Industry 4.0

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Hands-On AWS CDK

Building Cloud Native Applications with Infrastructure-As-Code

Head First Software Architecture

A Learner's Guide to Architectural Thinking

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Powerful, Profitable Software Products

The Executive Guidebook

Architecture, Computing and the Second World War

From Crystallography to Digital Research in Architecture

Top-Down Network Design

3rd edition

Logic and Computer Design Fundamentals, Global Edition

5th edition

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

What Every Engineer Should Know About Python

What Every Engineer Should Know

What Every Engineer Should Know About Python

What Every Engineer Should Know

Cognitive Computing for Smart Automotive Transportation

Technology and Applications

Digital HR

Technologies for HR Transformation and Performance Improvement

Smart Applications of Artificial Intelligence and Big Data

This product is categorised by