Suggested Topics within your search.
Showing 1 - 4 results of 4 for search '', query time: 0.02s Refine Results
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. : Proceedings /

    Tools and Algorithms for the Construction and Analysis of Systems : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice...

    Published 2009
    Conference Proceeding Book
  2. 2
    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Published 2007
    Conference Proceeding Book
  3. 3
    Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities /

    Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities / by Simon, Axel

    Published 2008
    eBook
  4. 4
    Flow design for embedded systems : a radical new unified object-oriented methodology /

    Flow design for embedded systems : a radical new unified object-oriented methodology / by Kauler, Barry, 1950-

    Published 1997
    Book

Search Tools: