yabs.io

Yet Another Bookmarks Service

Search

Results

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 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 -

Follow Tags

Specification - Please Log In To follow this tag
Algebraic-Specification - Please Log In To follow this tag

Export: