Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Toon 1 - 20 resultaten van 24 Voor zoekopdracht '"formal methods"', zoektijd: 0,06s Verfijn jouw resultaten
  1. 1
    Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic /
    door Beth, Evert W.
    Gepubliceerd in 1962
    Printed Book
  2. 2
    Formal methods of program verification
    door Berg,H.K
    Printed Book
  3. 3
    Formal methods of program verification
    door Berg,H.K
    Printed Book
  4. 4
    Formal Methods in Artificial Intelligence
    door J P Delahaye
    Gepubliceerd in 1987
    Printed Book
  5. 5
    Formal methods in artificial intelligence /
    door Delahaye, J P
    Gepubliceerd in 1987
    Printed Book
  6. 6
    Formal methods in artificial intelligence/
    door Ramsay, Allan
    Gepubliceerd in 1988
    Printed Book
  7. 7
    Formal methods for distributed processing: a survey of object - oriented approaches/
    door Ed by Bowman, Howard
    Gepubliceerd in 2001
    Printed Book
  8. 8
    Formal methods in the methodology of imperial sciences
    Gepubliceerd in 1976
    Printed Book
  9. 9
    Non Formal Methods In Chemistry Education
    door N. Vedamani Manuel,Guide, K Y Benedict
    Gepubliceerd in 2001
    Ph.D Thesis
  10. 10
    Formal methods of program verification and specification
    door H K Berg, W E Boebert
    Gepubliceerd in 1982
    Printed Book
  11. 11
    The Way of Z: practical programming with formal methods
    door Jacky, Jonathan
    Gepubliceerd in 1997
    Printed Book
  12. 12
    The way of z practical programming with formal methods
    door Jonathan Jacky
    Gepubliceerd in 1997
    Printed Book
  13. 13
    Software Engineering mathematics: formal methods demystefied
    door Jim Woodcock Martin Loomes
    Gepubliceerd in 1989
    Printed Book
  14. 14
    The way of Z: practical programming with formal methods
    door Jacky, Jonathan
    Gepubliceerd in 1997
    Printed Book
  15. 15
    Team work in multi-agent systems a formal approach
    door Dunin-Keplicz, Barbara
    Gepubliceerd in 2010
    Onderwerpen: “...Intelligent agents(computer software) Formal methods(computer science) Artificial intelligence...”
    Printed Book
  16. 16
    Process algebra for parallel and distributed processing /
    Gepubliceerd in 2009
    Onderwerpen: “...Formal methods (Computer science)...”
    Volledige tekst
    Printed Book
  17. 17
    Formal methods in computer-aided design: 4 th Interntional conference, FMCAD 2002 Portland, OR, USA,November 2002 proceedings /
    Gepubliceerd in 2002
    Printed Book
  18. 18
    Communicating embedded systems: software and design
    door Jard, Claude; Editor, Roux, Olivier H; Editor
    Gepubliceerd in 2010
    Onderwerpen: “...Formal methods( Computer science)...”
    Printed Book
  19. 19
    Practical UML statecharts in C/C++ event-driven programming for embedded systems
    door Samek, Miro
    Gepubliceerd in 2009
    Onderwerpen: “...Computer software-Development Formal methods(Computer science) Statecharts(Computer science...”
    Printed Book
  20. 20
    Principles of cyber-physical systems /
    door Alur, Rajeev
    Gepubliceerd in 2015
    Onderwerpen: “...Formal methods (Computer science) 2264...”
    Printed Book
Zoekinstrumenten: Abonneren op RSS-datastromen — Zoekopdracht versturen