Buy Used and New Francisco Durán Books

Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, ... 7571 (Lecture Notes in Computer Science)

by Francisco Durán

ISBN 13: 9783642340048

Format: Paperback (252 pages)
Publisher: Springer
Published: 14 Sep 2012

Save for later

Composing Model-Based Analysis Tools

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

ISBN 13: 9783030819170

Format: Paperback (323 pages)
Publisher: Springer
Published: 04 Dec 2022

Save for later