Central Library Search for 'au:"Mart�i-Oliet, Narciso."'

Recent Trends in Algebraic Development Techniques

. X, 283 p. 71 illus. 9783642376351

Place Hold on Recent Trends in Algebraic Development Techniques

Logic, Rewriting, and Concurrency

. XI, 634 p. 103 illus. 9783319231655

Place Hold on Logic, Rewriting, and Concurrency

Formal Methods: Foundations and Applications

. IX, 179 p. 39 illus. 9783319150758

Place Hold on Formal Methods: Foundations and Applications