Showing 1 - 20 results of 6,825 for search '', query time: 0.10s Refine Results
  1. 1
  2. 2
  3. 3

    Abstracting formal specifications to generate software tests via model checking by Ammann, Paul, 1961-

    Published 1999
    Government Document Microfilm Book
  4. 4
  5. 5
  6. 6

    Script generator : machines / by Vasset, Philippe, 1972-

    Published 2004
    Full Text (via Internet Archive)
    eBook
  7. 7
  8. 8
  9. 9
  10. 10

    Computational science and its applications -- ICCSA 2023 Workshops : Athens, Greece, July 3-6, 2023, Proceedings.

    Published 2023
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15

    Electronic and software patents law and practice /

    Published 2016
    Law Students, Faculty, and Staff (via Bloomberg Law)
    Electronic eBook
  16. 16
  17. 17

    [Protest of DFAS contract award for accounting services]

    Published 1998
    Government Document Microfilm Book
  18. 18

    Science and Engineering for Software Development : a recognition of Harlan D. Mills' Legacy, Los Angeles, California, May 18, 1999 /

    Published 1999
    Conference Proceeding Book
  19. 19

    2nd IEEE Workshop on Industrial Strength Formal Specification Techniques : proceedings : Boca Raton, Florida, October 21-23, 1998 /

    Published 1999
    Conference Proceeding Book
  20. 20

    Computational science and its applications -- ICCSA 2022 workshops Malaga, Spain, July 4-7, 2022, proceedings.

    Published 2022
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed Save Search