Suggested Topics within your search.
Showing 1 - 20 results of 34 for search '"Programs-Specification."', query time: 0.04s Refine Results
  1. 1
    Algebraic specification of communication protocols /

    Algebraic specification of communication protocols /

    Published 1993
    Subjects:
    Book
  2. 2
    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
    Subjects:
    Book
  3. 3
    Specification and analysis of concurrent systems : the cosy approach /

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

    Published 1992
    Subjects:
    Book
  4. 4
    Reasoned programming /

    Reasoned programming / by Broda, Krysia, 1949-

    Published 1994
    Subjects:
    Book
  5. 5
    The deductive foundations of computer programming /

    The deductive foundations of computer programming / by Manna, Zohar

    Published 1993
    Subjects:
    Book
  6. 6
    Formal specification and design /

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

    Published 1992
    Subjects:
    Book
  7. 7
    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
    Subjects:
    Book
  8. 8
    Formal development of programs and proofs /

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

    Published 1990
    Subjects:
    Book
  9. 9
    ZUM '95... the Z formal specification notation : Proceedings /

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

    Published 1995
    Subjects:
    Conference Proceeding Book
  10. 10
    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
    Subjects:
    eBook
  11. 11
    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
    Subjects:
    Publisher description
    Conference Proceeding Book
  12. 12
    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
    Subjects:
    Conference Proceeding Book
  13. 13
    Hybrid systems II /

    Hybrid systems II /

    Published 1995
    Subjects:
    Book
  14. 14
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1996
    Subjects:
    Conference Proceeding Book
  15. 15
    Formal systems specification : the RPC memory specification case study /

    Formal systems specification : the RPC memory specification case study /

    Published 1996
    Subjects:
    Book
  16. 16
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1997
    Subjects:
    Conference Proceeding Book
  17. 17
    Relations and graphs : discrete mathematics for computer scientists /

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

    Published 1993
    Subjects:
    Book
  18. 18
    ZUM'97 : the Z formal specification notation /

    ZUM'97 : the Z formal specification notation /

    Published 1997
    Subjects:
    Conference Proceeding Book
  19. 19
    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
    Subjects:
    Conference Proceeding Book
  20. 20
    Theorem proving in higher order logics /

    Theorem proving in higher order logics /

    Published 1996
    Subjects:
    Conference Proceeding Book

Search Tools: