Lotos - jezyk formalnych specyfikacji systemow informatycznych /

Նմանատիպ նյութեր

• Symposium on semantics of algorithmic languages /
  Հրապարակվել է: (1971)
• The design of well-structured and correct programs /
  : Alagic, Suad, 1946-
  Հրապարակվել է: (1978)
• Mathematical foundations of computer science 1988 : Proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29 - September 2, 1988 /
  Հրապարակվել է: (1988)
• A programming language.
  : Iverson, Kenneth E.
  Հրապարակվել է: (1962)
• Mathematical logic in computer science /
  Հրապարակվել է: (1981)