Formal Methods and Software Engineering
by Michael Butler, Sylvain Conchon, Fatiha Zaïdi
Software engineering
Writing a summary for young readers…
For young readers
Book data: Open Library
by Michael Butler, Sylvain Conchon, Fatiha Zaïdi
Book data: Open Library