Formal Models of Computation

Amast Series In Computing (Series)

Arthur C Fleck Author
(2001)

An Algebraic Approach to...

Amast Series In Computing (Series)

Augusto Sampaio Author
(1997)

Cafeobj Report

Amast Series In Computing (Series)

Razvan Diaconescu Author
Kokichi Futatsugi Author
(1998)

Language Prototyping

Amast Series In Computing (Series)

Jan Heering Author
Paul Klint Author
(1996)

Real-time Systems

Amast Series In Computing (Series)

Aurel Cornell Editor
Dan Ionescu Editor
(2007)

Theories and Experiences For...

Amast Series In Computing (Series)

Charles Rattray Author
Teodor Rus Author
(1995)

Construction and Analysis of...

Amast Series In Computing (Series)

A Arnold Author
Didier Begay Author
(1994)

Algebraic Specification...

Amast Series In Computing (Series)

Ingo Claben Author
Hartmut Ehrig Author
(1993)