Back to Results
First PageMeta Content
Logic in computer science / Procedural programming languages / Programming language semantics / Predicate logic / Formal methods / Formal verification / ALGOL 68 / Denotational semantics / First-order logic / Theoretical computer science / Computing / Software engineering


Nitpicking C++ Concurrency Jasmin Christian Blanchette Tjark Weber Mark Batty
Add to Reading List

Document Date: 2013-04-16 14:49:31

Open Document

File Size: 335,86 KB

Share Result on Facebook
UPDATE