Book 1998

Algebraic Methodology and Software Technology

Publisher: Springer
Language: English
Published: 1998

Computer Programming
Congresses
Formal Language Theory
Computers
Programming - General
Logic Design
General
Algebraic Methods

Algebraic Methodology and Software Technology: 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings
Author: Armando M. Haeberer
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-65462-9
DOI: 10.1007/3-540-49253-4

Table of Contents:Duration Calculus, a Logical Approach to Real-Time Systems