Central Library Search for 'au:"�Olveczky, Peter Csaba."'

Formal Aspects of Component Software

. X, 331 p. 118 illus. in color. 9783319289342

Place Hold on Formal Aspects of Component Software

Formal Techniques for Safety-Critical Systems

. X, 271 p. 86 illus. in color. 9783319295107

Place Hold on Formal Techniques for Safety-Critical Systems

Logic, Rewriting, and Concurrency

. XI, 634 p. 103 illus. 9783319231655

Place Hold on Logic, Rewriting, and Concurrency

Formal Techniques for Safety-Critical Systems

. X, 297 p. 91 illus. 9783319054162

Place Hold on Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

. X, 257 p. 86 illus. 9783319175812

Place Hold on Formal Techniques for Safety-Critical Systems