תוצאות חיפוש - "Formal methods (Computer science) Congresses."

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, Augu...

    יצא לאור 2001
    נושאים: “...Formal methods (Computer science) Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני Conference Proceeding ספר אלקטרוני
  2. 2

    Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, Augu...

    יצא לאור 2001
    נושאים: “...Formal methods (Computer science) Congresses....”
    An electronic book accessible through the World Wide Web; click to view
    אלקטרוני Conference Proceeding ספר אלקטרוני