description
book: Teaching Concurrency with the Disappearing Formal Method. Sekerinski, E. In Dongol, B.; Petre, L.; and Smith, G., editor(s), Formal Methods Teaching, volume 11758 of Lecture Notes in Computer Science, pages 135–149, 2019. Springer, Cham.
The course notes are being constantly revised; comments are welcome. See my home page for the latest installments of the courses using these notes. Of course, I would love to hear if you plan to use these notes for courses or otherwise.
Most images are cell attachments, which are not rendered by GitHub. Images that are linked files are rendered, but not in the correct size. To view the notebooks properly, follow the instructions below.
— Emil Sekerinski
See also: Data Structures and Algorithms.
23 éléments sous ce dossier.
