प्रस्तावित विषय : खोज निहित
Showing 1 - 20 results of 24 for search '"formal methods"', सवाल का समय: 0.04सेकंड परिणाम को परिष्कृत करें
  1. 1
    Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
    द्वारा Beth, Evert W.
    प्रकाशित 1962
    Printed Book
  2. 2
    Formal methods of program verification
    द्वारा Berg,H.K
    Printed Book
  3. 3
    Formal methods of program verification
    द्वारा Berg,H.K
    Printed Book
  4. 4
    Formal Methods in Artificial Intelligence
    द्वारा J P Delahaye
    प्रकाशित 1987
    Printed Book
  5. 5
    Formal methods in artificial intelligence /
    द्वारा Delahaye, J P
    प्रकाशित 1987
    Printed Book
  6. 6
    Formal methods in artificial intelligence/
    द्वारा Ramsay, Allan
    प्रकाशित 1988
    Printed Book
  7. 7
    Formal methods for distributed processing: a survey of object - oriented approaches/
    द्वारा Ed by Bowman, Howard
    प्रकाशित 2001
    Printed Book
  8. 8
    Formal methods in the methodology of imperial sciences
    प्रकाशित 1976
    Printed Book
  9. 9
    Non Formal Methods In Chemistry Education
    द्वारा N. Vedamani Manuel,Guide, K Y Benedict
    प्रकाशित 2001
    Ph.D Thesis
  10. 10
    Formal methods of program verification and specification
    द्वारा H K Berg, W E Boebert
    प्रकाशित 1982
    Printed Book
  11. 11
    The Way of Z: practical programming with formal methods
    द्वारा Jacky, Jonathan
    प्रकाशित 1997
    Printed Book
  12. 12
    The way of z practical programming with formal methods
    द्वारा Jonathan Jacky
    प्रकाशित 1997
    Printed Book
  13. 13
    Software Engineering mathematics: formal methods demystefied
    द्वारा Jim Woodcock Martin Loomes
    प्रकाशित 1989
    Printed Book
  14. 14
    The way of Z: practical programming with formal methods
    द्वारा Jacky, Jonathan
    प्रकाशित 1997
    Printed Book
  15. 15
    Team work in multi-agent systems a formal approach
    द्वारा Dunin-Keplicz, Barbara
    प्रकाशित 2010
    विषय: “...Intelligent agents(computer software) Formal methods(computer science) Artificial intelligence...”
    Printed Book
  16. 16
    Process algebra for parallel and distributed processing /
    प्रकाशित 2009
    विषय: “...Formal methods (Computer science)...”
    पूर्ण पाठ प्राप्त करें
    Printed Book
  17. 17
    Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings /
    प्रकाशित 2002
    Printed Book
  18. 18
    Communicating embedded systems: software and design
    द्वारा Jard, Claude; Editor, Roux, Olivier H; Editor
    प्रकाशित 2010
    विषय: “...Formal methods( Computer science)...”
    Printed Book
  19. 19
    Practical UML statecharts in C/C++ event-driven programming for embedded systems
    द्वारा Samek, Miro
    प्रकाशित 2009
    विषय: “...Computer software-Development Formal methods(Computer science) Statecharts(Computer science...”
    Printed Book
  20. 20
    Principles of cyber-physical systems /
    द्वारा Alur, Rajeev
    प्रकाशित 2015
    विषय: “...Formal methods (Computer science) 2264...”
    Printed Book
खोज साधन : RSS फ़ीड प्राप्त करें — इस खोज को ईमेल करें