Concurrency verification
by W.-P. de Roever, Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
Parallel processing (Electronic computers)VerificationComputer softwareParallel processing (electronic computers)Computer software, verification
Writing a summary for young readers…
For young readers
Book data: Open Library