IndianBookWorms

Here, what we could find on your book search:

Vene Varmo

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Types for Proofs and Programs

Types for Proofs and Programs

Marino Miculan, Ivan Scagnetto and Furio Honsell

Check Price (2 deals)
Fundamentals of Computation Theory

Fundamentals of Computation Theory

Maciej Liskiewicz and Rüdiger Reischuk

Check Price (7 deals)
Programming Languages and Systems

Programming Languages and Systems

Nobuko Yoshida

Check Price (1 deals)
Programming Languages and Systems

Programming Languages and Systems

Kwangkeun Yi

Check Price (7 deals)
Programming Languages and Systems

Programming Languages and Systems

Wei-Ngan Chin

Check Price (3 deals)
Mathematics of Program Construction

Mathematics of Program Construction

Tarmo Uustalu

Check Price (1 deals)
Programming Languages and Systems

Programming Languages and Systems

Kazunori Ueda

Check Price (4 deals)
FM 2009: Formal Methods

FM 2009: Formal Methods

Ana Cavalcanti and Dennis Dams

Check Price (8 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now
  • Contact/
  • Disclaimer/
  • Privacy Policy

© 2026 indianbookworms | Part of Diagramz network.