Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
by Tiziana Margaria, Bernhard Steffen
Software engineeringRobots, programmingMachine learningArtificial Intelligence (incl. Robotics)Computer scienceLogic designArtificial intelligenceProgramming Languages, Compilers, Interpreters
Writing a summary for young readers…
For young readers
Book data: Open Library