Suggested Topics within your search.
Showing 1 - 20 results of 31 for search '', query time: 0.11s Refine Results
  1. 1
    Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

    Verification, model checking and abstract interpretation : 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /

    Published 2007
    Publisher description
    Conference Proceeding Book
  2. 2
    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
  3. 3
    ZUM '95... the Z formal specification notation : Proceedings /

    ZUM '95... the Z formal specification notation : Proceedings /

    Published 1995
    Conference Proceeding Book
  4. 4
    Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

    Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

    Published 1995
    Conference Proceeding Book
  5. 5
    Hybrid systems II /

    Hybrid systems II /

    Published 1995
    Book
  6. 6
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1997
    Conference Proceeding Book
  7. 7
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1996
    Conference Proceeding Book
  8. 8
    Formal specification and design /

    Formal specification and design / by Feijs, Loe M. G., 1954-

    Published 1992
    Book
  9. 9
    Algebraic specification of communication protocols /

    Algebraic specification of communication protocols /

    Published 1993
    Book
  10. 10
    Programming in the 1990s : an introduction to the calculation of programs /

    Programming in the 1990s : an introduction to the calculation of programs / by Cohen, Edwards

    Published 1990
    Book
  11. 11
    Reasoned programming /

    Reasoned programming / by Broda, Krysia, 1949-

    Published 1994
    Book
  12. 12
    Formal development of programs and proofs /

    Formal development of programs and proofs / by Dijkstra, Edsger Wybe, 1930-2002

    Published 1990
    Book
  13. 13
    The deductive foundations of computer programming /

    The deductive foundations of computer programming / by Manna, Zohar

    Published 1993
    Book
  14. 14
    Specification and transformation of programs : a formal approach to software development /

    Specification and transformation of programs : a formal approach to software development / by Partsch, Helmut A., 1950-

    Published 1990
    Book
  15. 15
    Specification and analysis of concurrent systems : the cosy approach /

    Specification and analysis of concurrent systems : the cosy approach / by Janicki, Ryszard

    Published 1992
    Book
  16. 16
    Relations and graphs : discrete mathematics for computer scientists /

    Relations and graphs : discrete mathematics for computer scientists / by Schmidt, Günter, 1939-

    Published 1993
    Book
  17. 17
    Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 ; proceedings /

    Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain,...

    Published 1997
    Conference Proceeding Book
  18. 18
    ZUM'97 : the Z formal specification notation /

    ZUM'97 : the Z formal specification notation /

    Published 1997
    Conference Proceeding Book
  19. 19
    Hybrid and real-time systems /

    Hybrid and real-time systems /

    Published 1997
    Conference Proceeding Book
  20. 20
    Formal systems specification : the RPC memory specification case study /

    Formal systems specification : the RPC memory specification case study /

    Published 1996
    Book

Search Tools: