Lecture Notes in Computer Science : Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings - Jean-Pierre Finance

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

By: Jean-Pierre Finance (Editor)

Write A Review

Paperback | 10 March 1999

At a Glance

Paperback
264 Pages

Dimensions(cm)
24.13 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

ETAPS'99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

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

Invited Tutorial
Research Issues in the Renovation of Legacy Systems	p. 1
Invited Paper
Continuous Engineering of Information and Communication Infrastructures	p. 22
Contributed Papers
A Formal Framework with Late Binding	p. 30
Yet Another Real-Time Specification for the Steam Boiler Local Clocks to Statically Measure Systems Performance	p. 45
Executable Tile Specifications for Process Calculi	p. 60
JTN A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems	p. 77
Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories	p. 98
Dynamic Systems with Implicit State	p. 114
Rigorous Development in UML	p. 129
Using Explicit State to Describe Architectures	p. 144
On the Evolution of Reactive Components - A Process-Algebraic Approach	p. 161
Verification of Definite Iteration over Hierarchical Data Structures	p. 176
Owicki/Gries in Isabelle/HOL	p. 188
Semantic-Driven Performance Evaluation	p. 204
Implementing Hierarchical Graph-Structures	p. 219
Demos
A Tool Suite for Multi-paradigm Specification	p. 234
TAS and IsaWin Tools for Transformational Program Development and Theorem Proving	p. 239
Author Index	p. 245
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

AI Engineering

Building Applications with Foundation Models

Swim Training Patterns

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

Algorithms in C, Parts 1-4

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

Discrete Mathematics for Computing

Grassroots

Effective Machine Learning Teams

Best Practices for ML Practitioners

Nonlinear Analysis for Human Movement Variability

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

Mathematical Foundations of Blockchains

Engineering Principles, Volume 2

Zhang Time Discretization (ZTD) Formulas and Applications

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Introduction to Modern Cryptography

Revised Third Edition

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Machine Learning Interviews

Kickstart Your Machine Learning and Data Career

Theory of Computation for Software Developers

Theory of Computation for Software Developers

Surveys in Combinatorics 2026

London Mathematical Society Lecture Note Series

Machine Learning Pocket Reference

Working with Structured Data in Python

Computational Science - ICCS 2026 Workshops

26th International Conference, ICCS 2026, Hamburg, Germany, June 29 - July 1, 2026, Proceedings, Part IV

Computational Science - ICCS 2026

26th International Conference, Hamburg, Germany, June 29 - July 1, 2026, Proceedings, Part II

Computational Science - ICCS 2026

26th International Conference, Hamburg, Germany, June 29 - July 1, 2026, Proceedings, Part I

This product is categorised by