- Computer science, B method (Computer science)
Log it
Sign in to log this.
Character
Cool, earnest, grave and classical in form.
- cooloverwhelming
- earnestironic
- gravecomic
- classical in formformally daring
- sparerichly built
Who loves it, who doesn't
No profiled raters yet.
Ask the title
A yes-or-no question, answered from what people wrote here, on TMDB and on Wikipedia. Never made up.
YesNoUnclear
Reviews
No reviews yet.
About the book
- Author
- J. R. Abrial
- First published
- 1996
- Pages
- 813
- Publisher
- Cambridge University Press
- Editions
- 4
- Language
- English
- ISBN
- 9780521021753
Where to read
Libraries first: a card gets you most books for nothing. Each opens that service’s page for this title.
On Open Library, 2 want to.
First sentence
“WHEN doing mathematics, people prove assertions.”
Similar in taste
Closest on the same fourteen dimensions, from everything scored on Tastebuds Other media included when they land close.
Both cool, earnest, grave.
Iterative Receiver Design 200789% alikeBoth cool, earnest, grave.
Sequences 196688% alikeBoth cool, earnest, grave.- Gait analysis 201086% alikeBoth cool, earnest, grave.
Both cool, earnest, grave.
Both cool, earnest, grave.
Polyhedra 199783% alikeBoth cool, earnest, grave.
Modern C++ Design 200183% alikeBoth cool, earnest, grave.- Arimaa 200273% alikeGame · Both grave, cool, earnest.
The Devil's Calculator 201973% alikeGame · Both cool, spare, plot-driven.