প্রদর্শন 1 - 5 ফলাফল এর 5 অনুসন্ধানের জন্য '"Specification techniques."', জিজ্ঞাসা করার সময়: 0.02সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1

    Compositional refinement of interactive systems. অনুযায়ী Broy, Manfred

    প্রকাশিত Journal of the ACM
    প্রবন্ধ

    Compositional refinement of interactive systems.
  2. 2

    Relational analysis of algebraic datatypes. অনুযায়ী Kuncak, Viktor

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Relational analysis of algebraic datatypes.
  3. 3

    Interface automata. অনুযায়ী De Alfaro, Luca

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Interface automata.
  4. 4

    Modular verification of collaboration-based software designs. অনুযায়ী Fisler, Kathi

    প্রকাশিত Software engineering notes.
    প্রবন্ধ

    Modular verification of collaboration-based software designs.
  5. 5

    Register-machine based processes. অনুযায়ী Bergstra, Jan A.

    প্রকাশিত Journal of the ACM
    প্রবন্ধ

    Register-machine based processes.

অনুসন্ধান সাধনীগুলি: