Formal methods
by Paul Boca, J. P. Bowen, J. I. Siddiqi
Formal methods (Computer science)Computer software, developmentSoftware engineeringSystem design
Writing a summary for young readers…
For young readers
Book data: Open Library
by Paul Boca, J. P. Bowen, J. I. Siddiqi
Book data: Open Library