Jump to main content

yr 〜
yr

Search results 4

Formal methods and object technology

Formal methods and object technology
Paper図書
S.J. Goldsack and S.J.H. Kent, eds.Springerc1996
Other Libraries in Japan
  • Author HeadingGoldsack, Stephen J. Kent, S. J. H. (Stuart John H...

Transforming AdaPT to Ada9x [microform] / Stephen J. Goldsack ... [et al.] ([NASA contractor report] ; NASA CR-193117) (Technical report)

Transforming AdaPT to Ada9x [microform] / Stephen J. Goldsack ... [et al.] ([NASA contractor report] ; NASA CR-193117) (Technical report)
Microform図書
1993<YCA-NAS 1.26:193117>
National Diet Library
  • Author HeadingGoldsack, Stephen J., 1926- United States. Nationa...

Ada for specification : possibilities and limitations

Ada for specification : possibilities and limitations
Paper図書
edited by S.J. GoldsackPublished on behalf of the Commission of the European Communities by Cambridge University Press1985
Other Libraries in Japan
  • Author HeadingGoldsack, Stephen J. Commission of the European Co...

Programming embedded systems with Ada

Programming embedded systems with Ada
Paper図書
Valerie A. Downes and Stephen J. GoldsackPrentice/Hall Internationalc1982
Other Libraries in Japan
  • Author HeadingDownes, Valerie A. Goldsack, Stephen J.

Reached to the end of result.

RSS