GitHub - asdfjkl/pgn2dcg: pgn2dcg [https://github.com/asdfjkl/pgn2dcg] - 2023-09-17 07:45:16 - public:stevetao Chess, Database, DCG, PGN, Programming, Specification - 6 | id:1484560 -
COMP SCI 3EA3 - Software Specifications and Correctness [https://www.cas.mcmaster.ca/~alhassm/] - 2019-11-28 17:43:11 - public:stevetao Formal-Method, Specification - 2 | id:272121 -
4.4. The Stack Abstract Data Type — Problem Solving with Algorithms and Data Structures [https://runestone.academy/runestone/books/published/pythonds/BasicDS/TheStackAbstractDataType.html] - 2019-11-28 07:10:41 - public:stevetao Python, Specification, Stack - 3 | id:272105 -
Lecture 06 [https://www.cs.unc.edu/~stotts/COMP204/senotes/L06.html] - 2019-11-28 07:09:35 - public:stevetao Algebraic-Specification, Set, Specification, Stack - 4 | id:272104 -
SE 507 Algebraic Specifications [https://www.cs.scranton.edu/~mccloske/courses/se507/alg_specs_lec.html] - 2019-11-28 07:09:06 - public:stevetao Algebraic-Specification, Bag, Queue, Set, Specification, Stack - 6 | id:272103 -
Stack Specification [https://webdocs.cs.ualberta.ca/~holte/T26/handout1.html] - 2019-11-28 07:02:50 - public:stevetao Specification, Stack - 2 | id:272102 -
STACK Specs [http://www.cs.unc.edu/~stotts/723/senotes/qs3.html] - 2019-11-28 07:01:46 - public:stevetao Algebraic-Specification, Specification, Stack - 3 | id:272101 -