Automatic Methods for the Refinement of System Models
by Julia Seiter, Robert Wille, Rolf Drechsler
Software engineeringProgramming languages (electronic computers)Computer simulation
Writing a summary for young readers…
For young readers
Book data: Open Library