Author(s)
-
- Rus, T.
-
- Arnold, A.
Bibliographic Information
AMAST series in computing
managing editor: T. Rus ; advisory board; A. Arnold ... [et al.]
World Scientific
Search this Book/Journal
Related Books： 1-8 of 8
-
1
- Real-time systems : modeling, design, and applications
-
editors, Dan Inoescu, Aurel Cornell
World Scientific c2007 AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.] v. 8
Available at 2 libraries
-
2
- Formal models of computation : the ultimate limits of computing
-
Arthur Fleck
World Scientific c2001 AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.] v. 7
Available at 7 libraries
-
3
- CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification
-
Răzvan Diaconescu, Kokichi Futatsugi
World Scientific c1998 AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.] v. 6
Available at 6 libraries
-
4
- An algebraic approach to compiler design
-
Augusto Sampaio
World Scientific c1997 AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.] v. 4
Available at 12 libraries
-
5
- Language prototyping : an algebraic specification approach
-
editors, Arie van Deursen, Jan Heering, Paul Klint
World Scientific c1996 AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.] v. 5
Available at 8 libraries
-
6
- Theories and experiences for real-time system development
-
editors, Teodor Rus, Charles Rattray
World Scientific c1994 AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.] v. 2
Available at 8 libraries
-
7
- Construction and analysis of transition systems with MEC
-
André Arnold, Didier Bégay, Paul Crubillé
World Scientific c1994 AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.] v. 3
Available at 8 libraries
-
8
- Algebraic specification techniques and tools for software development : the ACT approach
-
Ingo Claßen, Hartmut Ehrig, Dietmar Wolz
World Scientific c1993 AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.] v. 1
Available at 15 libraries