Here, what we could find on your book search:

Kyungmin Bae

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

Composing Model-Based Analysis Tools

Robert Heinrich, Francisco Durán, Carolyn Talcott and Steffen Zschaler

Check Price (7 deals)

Rewriting Logic and Its Applications

Kazuhiro Ogata and Narciso Martí-Oliet

Check Price (2 deals)

Formal Aspects of Component Software

Diego Marmsoler and Meng Sun

Check Price (8 deals)

Formal Modeling: Actors; Open Systems, Biological Systems

Gul Agha, Olivier Danvy and José Meseguer

Check Price (8 deals)

Formal Aspects of Component Software

Silvia Lizeth Tapia Tarifa and José Proença

Check Price (9 deals)

Developments in Language Theory

Sang-Ki Ko and Florin Manea

Check Price (10 deals)

Logic, Language, Information, and Computation

Lawrence S. Moss, Ruy de Queiroz and Maricarmen Martinez

Check Price (7 deals)

Formal Aspects of Component Software

Gwen Salaün and Anton Wijs

Check Price (3 deals)

Formal Aspects of Component Software

Kyungmin Bae and Peter Csaba Ölveczky

Check Price (8 deals)

Rewriting Logic and Its Applications

Kyungmin Bae

Check Price (10 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free