Showing 1 - 20 results of 35 for search '', query time: 0.24s Refine Results
  1. 1
    Logic of programming and calculi of discrete design : International Summer School directed by F.L. Bauer ... [et al.] /
    Published 1987
    Conference Proceeding Book
  2. 2
    Program construction : international summer school /
    Published 1979
    Connect to the full text of this electronic book
    eBook
  3. 3
    Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare /
    Published 1982
    Conference Proceeding Book
  4. 4
    Control flow and data flow : concepts of distributed programming : international summer school directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare /
    Published 1986
    Conference Proceeding Book
  5. 5
    Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.] /
    Published 1989
    Conference Proceeding Book
  6. 6
    Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990 /
    Published 1990
    Conference Proceeding Book
  7. 7
    Methods of programming : selected papers on the CIP-project /
    Published 1991
    Book
  8. 8
    Programming and mathematical method /
    Published 1992
    Book
  9. 9
    Formal methods in programming and their applications : international conference, Academgorodok, Russia, June 28-July 2, 1993 : proceedings /
    Published 1993
    Book
  10. 10
    Program design calculi /
    Published 1993
    Conference Proceeding Book
  11. 11
    KORSO : methods, languages, and tools for the construction of correct software : final report /
    Published 1995
    Book
  12. 12
    Deductive program design /
    Published 1996
    Conference Proceeding Book
  13. 13
    Formal systems specification : the RPC-memory specification case study /
    Published 1996
    Connect to the full text of this electronic book
    eBook
  14. 14
    Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings /
    Published 1996
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  15. 15
    Mathematical methods in program development /
    Published 1997
    Conference Proceeding Book
  16. 16
    Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings /
    Published 1998
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  17. 17
    Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings /
    Published 2000
    Conference Proceeding Book
  18. 18
    Specification and development of interactive systems : FOCUS on streams, interfaces, and refinement /
    by Broy, M., 1949-
    Published 2001
    Book
  19. 19
    Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers /
    Published 2001
    Conference Proceeding Book
  20. 20
    Software pioneers : contributions to software engineering /
    Published 2002
    Book
Search Tools: RSS Feed – Email Search