Here, what we could find on your book search:

Jayadev Misra

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

Effective Theories in Programming Practice

Effective Theories in Programming Practice

Jayadev Misra

Check Price (7 deals)
Formal Methods at the Crossroads. From Panacea to Foundational Support

Formal Methods at the Crossroads. From Panacea to Foundational Support

Bernhard K. Aichernig and Tom Maibaum

Check Price (9 deals)
Constructive Methods in Computing Science

Constructive Methods in Computing Science

Manfred Broy

Check Price (2 deals)
Engineering Theories of Software Intensive Systems

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel and Tony Hoare

Check Price (8 deals)
FME 2003: Formal Methods

FME 2003: Formal Methods

Keijiro Araki, Stefania Gnesi and Dion Mandrioli

Check Price (2 deals)
Distributed Algorithms

Distributed Algorithms

Sam Toueg, Paul G. Spirakis and Lefteris Kirousis

Check Price (2 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now