Guarded commands, non-determinacy and formal derivation of programs

Simple item page
dc.creatorDijkstra, Edsger Wybe
dc.date.accessioned2024-08-02T15:27:41Z
dc.date.available2024-08-02T15:27:41Z
dc.date.issued1975-01
dc.descriptionpublished as cite EWD:EWD472pub
dc.description.departmentComputer Science
dc.identifier.urihttps://hdl.handle.net/2152/126443
dc.identifier.urihttps://doi.org/10.26153/tsw/52980
dc.language.isoeng
dc.relation.ispartofseriesEWD index number 472
dc.source.urihttp://www.cs.utexas.edu/users/EWD/ewd04xx/EWD472.PDF
dc.subjectEWD index number 472
dc.subjectEdsger Wybe Dijkstra
dc.titleGuarded commands, non-determinacy and formal derivation of programs
dc.typeUnpublished

Access full-text files

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
EWD472.pdf
Size:
414.68 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
E.W.Dijkstra Archive_ Guarded commands_ non-determinacy and formal derivation of programs (EWD 472).pdf
Size:
352.46 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.65 KB
Format:
Plain Text
Description:
Download

Collections

EWD Index Manuscripts