My Wish Lists Login / Join

Lecture Notes in Computer Science

13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers

By: Jose L. Fiadeiro (Editor)

Write A Review

Paperback | 28 July 1999

At a Glance

Paperback
360 Pages

Dimensions(cm)
23.5 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT'95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring conference in the slot that was then occupied by TAPSOFT and CAAP/ESOP/CC, comprising a number of existing and new conferences and covering a spectrum from theory to practice. ETAPS'98, the ?rst instance of the European Joint Conferences on Theory and Practice of Software, is taking place this year in Lisbon. It comprises ?ve conferences (FoSSaCS, FASE, ESOP, CC, TACAS), four workshops (ACoS, VISUAL, WADT, CMCS), seven invited lectures, and nine tutorials.

Shipping

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

Orders over $89.00 qualify for free shipping.

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 Mathematics Discrete Mathematics Computing & I.T.Computer Programming & Software Development Software Engineering Medicine Medicine in General Programming & Scripting Languages Compilers & Interpreters Computer Science Computer Architecture & Logic Design

Databases Mathematical Theory of Computation

An Algebraic Framework for Separate Type-Checking	p. 1
Moving Specification Structures Between Logical Systems	p. 16
Normal Forms for Partitions and Relations	p. 31
Parameterisation of Logics	p. 48
Semantic Constructions for Hidden Algebra	p. 63
Functorial Semantics for Multi-algebras	p. 79
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories	p. 92
Hierarchical Heterogeneous Specifications	p. 107
Parallel Admissible Graph Rewriting	p. 122
Refinements and Modules for Typed Graph Transformation Systems	p. 138
Complete Strategies for Term Graph Narrowing	p. 152
Non-deterministic Computations in ELAN	p. 168
Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics	p. 183
Translating 0BJ3 into CASL: The Institution Level	p. 198
CASL: A Guided Tour of Its Design	p. 216
Abstract Petri Nets as a Uniform Approach to High-Level Petri Nets	p. 241
Using Reflection to Specify Transaction Sequences in Rewriting Logic	p. 261
Concurrency and Data Types: A Specification Method An Example with LOTUS	p. 277
The Situation and State Calculus versus Branching Temporal Logic	p. 293
Modular Speciflcation of Concurrent Systems with Observational Logic	p. 310
Proof Normalization of Structured Algebraic Specifications Is Convergent	p. 326
Author Index	p. 341
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Discrete Mathematics for Computing

Grassroots

AI Engineering

Building Applications with Foundation Models

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Effective Machine Learning Teams

Best Practices for ML Practitioners

Beading With Algorithms

Cellular Automata In Peyote Stitch

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

AI for Decision Intelligence in Critical Systems

Advances in Applied Mathematics

Theory of Computation for Software Developers

Nonlinear Analysis for Human Movement Variability

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Zhang Time Discretization (ZTD) Formulas and Applications

Introduction to Modern Cryptography

Revised Third Edition

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Beading With Algorithms

Cellular Automata In Peyote Stitch

Surveys in Combinatorics 2026

London Mathematical Society Lecture Note Series

Exploring Computational Geometry

Theory and Python Implementations

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Pattern Recognition and Machine Learning for Self-Study I

Supervised Learning

This product is categorised by