Suggested Topics within your search.
Showing 1 - 20 results of 24 for search '"formal methods"', query time: 0.04s Refine Results
  1. 1
    Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
    by Beth, Evert W.
    Published 1962
    Printed Book
  2. 2
    Formal methods of program verification
    Printed Book
  3. 3
    Formal methods of program verification
    Printed Book
  4. 4
    Formal Methods in Artificial Intelligence
    by J P Delahaye
    Published 1987
    Printed Book
  5. 5
    Formal methods in artificial intelligence /
    by Delahaye, J P
    Published 1987
    Printed Book
  6. 6
    Formal methods in artificial intelligence/
    by Ramsay, Allan
    Published 1988
    Printed Book
  7. 7
    Formal methods for distributed processing: a survey of object - oriented approaches/
    by Ed by Bowman, Howard
    Published 2001
    Printed Book
  8. 8
    Formal methods in the methodology of imperial sciences
    Published 1976
    Printed Book
  9. 9
    Non Formal Methods In Chemistry Education
    Ph.D Thesis
  10. 10
    Formal methods of program verification and specification
    by H K Berg, W E Boebert
    Published 1982
    Printed Book
  11. 11
    The Way of Z: practical programming with formal methods
    by Jacky, Jonathan
    Published 1997
    Printed Book
  12. 12
    The way of z practical programming with formal methods
    by Jonathan Jacky
    Published 1997
    Printed Book
  13. 13
    Software Engineering mathematics: formal methods demystefied
    by Jim Woodcock Martin Loomes
    Published 1989
    Printed Book
  14. 14
    The way of Z: practical programming with formal methods
    by Jacky, Jonathan
    Published 1997
    Printed Book
  15. 15
    Team work in multi-agent systems a formal approach
    by Dunin-Keplicz, Barbara
    Published 2010
    Subjects: “...Intelligent agents(computer software) Formal methods(computer science) Artificial intelligence...”
    Printed Book
  16. 16
    Process algebra for parallel and distributed processing /
    Published 2009
    Subjects: “...Formal methods (Computer science)...”
    Get full text
    Printed Book
  17. 17
    Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings /
    Published 2002
    Printed Book
  18. 18
    Communicating embedded systems: software and design
    Subjects: “...Formal methods( Computer science)...”
    Printed Book
  19. 19
    Practical UML statecharts in C/C++ event-driven programming for embedded systems
    by Samek, Miro
    Published 2009
    Subjects: “...Computer software-Development Formal methods(Computer science) Statecharts(Computer science...”
    Printed Book
  20. 20
    Principles of cyber-physical systems /
    by Alur, Rajeev
    Published 2015
    Subjects: “...Formal methods (Computer science) 2264...”
    Printed Book
Search Tools: Get RSS Feed — Email this Search