IndianBookWorms

Here, what we could find on your book search:

Xavier Leroy

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).

A Machine-Checked, Type-Safe Model of Java Concurrency

A Machine-Checked, Type-Safe Model of Java Concurrency

Andreas Lochbihler

Check Price (9 deals)
Applied Semantics

Applied Semantics

Gilles Barthe, Peter Dybjer, Luis Pinto and João Saraiva

Check Price (8 deals)
Staged Experiences

Staged Experiences

Arthur Maria Stein, Ana Penjak and Celia Morgan

Check Price (7 deals)
TAPSOFT'97: Theory and Practice of Software Development

TAPSOFT'97: Theory and Practice of Software Development

Michel Bidoit and Max Dauchet

Check Price (4 deals)
Programming Languages and Systems

Programming Languages and Systems

Pierpaolo Degano

Check Price (4 deals)
Conference Record of POPL '96

Conference Record of POPL '96

Check Price (1 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free
  • Contact/
  • Disclaimer/
  • Privacy Policy

© 2026 indianbookworms | Part of Diagramz network.