|
OCaml Programming: Correct + Efficient + Beautiful
by
4.33 avg rating — 3 ratings
—
published
2022
|
|
|
Dynamic Logic
by
3.50 avg rating — 2 ratings
—
published
2000
—
4 editions
|
|
|
Design and Analysis of Algorithms (Texts and Monographs in Computer Science)
by
it was amazing 5.00 avg rating — 1 rating
|
|
|
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)
by
0.00 avg rating — 0 ratings
—
published
1982
—
3 editions
|
|
|
Tenth Annual IEEE Symposium on Logic in Computer Science: Proceedings, June 26-29, 1995, San Diego, California
by
0.00 avg rating — 0 ratings
|
|
|
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
by
0.00 avg rating — 0 ratings
—
published
2004
—
2 editions
|
|
|
Logic, Language, Information, and Computation: 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings (Lecture Notes in Computer Science)
by
0.00 avg rating — 0 ratings
|
|
|
Proceedings
by
0.00 avg rating — 0 ratings
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.