Monographs in computer science
Monographs in computer science is a book series. It includes 16 books, written by 12 different authors.
Key facts
- number of authors: 12 people
- number of books: 16
- books: Abstraction, refinement and proof for probabilistic systems, Adapting proofs-as-programs : the Curry-Howard protocol, A logical approach to discrete math
- authors: Annabelle McIver, Iman Hafiz Poernomo, David Gries
- publication dates: 2011, 2011, 2011
- book publishers: : Springer
Extract data
Download datasets about Monographs in computer science:
Dataset of books in the Monographs in computer science series :
"Monographs in computer science" is one of the 88,457 book series in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.