Volume 66; Issue 2

Science of Computer Programming

Volume 66; Issue 2
1

Maude’s module algebra

Year:
2007
Language:
english
File:
PDF, 587 KB
english, 2007
3

Modeling and verification of real-time systems based on equations

Year:
2007
Language:
english
File:
PDF, 358 KB
english, 2007
4

Editorial Board

Year:
2007
Language:
english
File:
PDF, 56 KB
english, 2007
5

Editorial–Science of Computer Programming–25 years

Year:
2007
Language:
english
File:
PDF, 101 KB
english, 2007
6

Rotations in the plane and Prolog

Year:
2007
Language:
english
File:
PDF, 216 KB
english, 2007