|
СТ |
ClawZ: Control Laws in Z |
2000 |
Arthan R., Caseley P., O Halloran C., Smith A. |
|
|
|
Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 |
26.12.2000 |
|
СТ |
An End to End Price-Based QoS Control Component Using Reflective Java |
1997 |
Tassel J., Briscoe B., Smith A. |
|
|
|
Lecture Notes in Computer Science |
22.01.1998 |
|
СТ |
Supply-Chain Management at Rowntree: Critical Success Factors for APL |
1991 |
Smith A. |
|
|
|
APL Quote Quad |
28.01.1992 |
|
СТ |
Logic Programming, Functional Programming, and Inductive Definitions |
1990 |
Paulson L., Smith A. |
|
|
|
Lecture Notes in Artificial Intelligence |
14.03.1991 |
|
СТ |
Machine Characterization Based on an Abstract High-Level Language Machine |
1989 |
Saavedra-Barrera R., Smith A., Miya E. |
|
|
|
IEEE Trans. Computers |
02.03.1991 |
