প্রদর্শন 1 - 7 ফলাফল এর 7 অনুসন্ধানের জন্য 'Roever, W.-P. de', জিজ্ঞাসা করার সময়: 0.01সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1
    Recursive program schemes : semantics and proof theory /
    গ্রন্থ
    অনুযায়ী Roever, W.-P. de
    প্রকাশিত 1976
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  2. 2
    Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings /
    গ্রন্থ
    প্রকাশিত 1994
    অন্যান্য লেখক: “…Roever, W.-P. de, 1943-…”
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  3. 3
    A Decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings /
    গ্রন্থ
    প্রকাশিত 1994
    অন্যান্য লেখক: “…Roever, W.-P. de, 1943-…”
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  4. 4
    Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings /
    কনফারেন্স প্রসিডিং গ্রন্থ
    প্রকাশিত 1993
    অন্যান্য লেখক: “…Roever, W.-P. de, 1943-…”
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  5. 5
    Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings /
    কনফারেন্স প্রসিডিং গ্রন্থ
    প্রকাশিত 1991
    অন্যান্য লেখক: “…Roever, W.-P. de, 1943-…”
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  6. 6
    Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings /
    গ্রন্থ
    প্রকাশিত 1990
    অন্যান্য লেখক: “…Roever, W.-P. de, 1943-…”
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
  7. 7
    Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 /
    কনফারেন্স প্রসিডিং গ্রন্থ
    প্রকাশিত 1989
    অন্যান্য লেখক: “…Roever, W.-P. de, 1943-…”
    তালিকাভুক্ত করুন
    সংরক্ষণ করুন:
অনুসন্ধান সাধনীগুলি: আরএসএস প্রতিক্রিয়া পাওয়ার জন্য – এই ই-মেইলটি অনুসন্ধান করুন