Priporočene teme znotraj vašega iskanja.
Showing 1 - 20 results of 24 for search '"formal methods"', čas poizvedbe: 0.06s Refine Results
  1. 1
    Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
    od Beth, Evert W.
    Izdano 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
    od J P Delahaye
    Izdano 1987
    Printed Book
  5. 5
    Formal methods in artificial intelligence /
    od Delahaye, J P
    Izdano 1987
    Printed Book
  6. 6
    Formal methods in artificial intelligence/
    od Ramsay, Allan
    Izdano 1988
    Printed Book
  7. 7
    Formal methods for distributed processing: a survey of object - oriented approaches/
    od Ed by Bowman, Howard
    Izdano 2001
    Printed Book
  8. 8
    Formal methods in the methodology of imperial sciences
    Izdano 1976
    Printed Book
  9. 9
    Non Formal Methods In Chemistry Education
    Ph.D Thesis
  10. 10
    Formal methods of program verification and specification
    od H K Berg, W E Boebert
    Izdano 1982
    Printed Book
  11. 11
    The Way of Z: practical programming with formal methods
    od Jacky, Jonathan
    Izdano 1997
    Printed Book
  12. 12
    The way of z practical programming with formal methods
    od Jonathan Jacky
    Izdano 1997
    Printed Book
  13. 13
    Software Engineering mathematics: formal methods demystefied
    Printed Book
  14. 14
    The way of Z: practical programming with formal methods
    od Jacky, Jonathan
    Izdano 1997
    Printed Book
  15. 15
    Team work in multi-agent systems a formal approach
    od Dunin-Keplicz, Barbara
    Izdano 2010
    Teme: “...Intelligent agents(computer software) Formal methods(computer science) Artificial intelligence...”
    Printed Book
  16. 16
    Process algebra for parallel and distributed processing /
    Izdano 2009
    Teme: “...Formal methods (Computer science)...”
    Polni tekst
    Printed Book
  17. 17
    Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings /
    Izdano 2002
    Printed Book
  18. 18
    Communicating embedded systems: software and design
    Teme: “...Formal methods( Computer science)...”
    Printed Book
  19. 19
    Practical UML statecharts in C/C++ event-driven programming for embedded systems
    od Samek, Miro
    Izdano 2009
    Teme: “...Computer software-Development Formal methods(Computer science) Statecharts(Computer science...”
    Printed Book
  20. 20
    Principles of cyber-physical systems /
    od Alur, Rajeev
    Izdano 2015
    Teme: “...Formal methods (Computer science) 2264...”
    Printed Book
Iskalna orodja: RSS — Pošljite iskanje po emailu