IndianBookWorms

Here, what we could find on your book search:

Limin Jia

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

Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation

Sandro Etalle

Check Price (1 deals)
Programming Languages and Systems

Programming Languages and Systems

David Schmidt

Check Price (4 deals)
Proceedings of the 2015 Chinese Intelligent Automation Conference

Proceedings of the 2015 Chinese Intelligent Automation Conference

Zhidong Deng and Hongbo Li

Check Price (4 deals)
Proceedings of 2013 Chinese Intelligent Automation Conference

Proceedings of 2013 Chinese Intelligent Automation Conference

Zengqi Sun and Zhidong Deng

Check Price (4 deals)
PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020

Alexander Ivrii and Ofer Strichman

Check Price (1 deals)
Programming Languages and Systems

Programming Languages and Systems

Peter Sestoft

Check Price (2 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.