著者
-
- Rus, T.
-
- Arnold, A.
書誌事項
AMAST series in computing
managing editor: T. Rus ; advisory board; A. Arnold ... [et al.]
World Scientific
この図書・雑誌をさがす
関連文献： 8件中 1-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
所蔵館2館
-
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
所蔵館7館
-
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
所蔵館6館
-
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
所蔵館12館
-
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
所蔵館8館
-
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
所蔵館8館
-
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
所蔵館8館
-
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
所蔵館15館