Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
by Tiziana Margaria, Bernhard Steffen
Machine learningRobots, programmingSoftware engineeringArtificial Intelligence (incl. Robotics)Computer scienceLogic designArtificial intelligenceProgramming Languages, Compilers, Interpreters
Writing a summary for young readers…
For young readers
Book data: Open Library