Formal descriptions of Programming Concepts /  
edited by Erich J. Neuhold and Manfred Paul 
 - Berlín :   Springer-Verlag,   1994 
 - 507 páginas :   27 figuras y 33 tablas ;   18 x 26 centímetros 
<br/><br/>A practical introduction to denotational semantics / Peter D. Moses - Inductive and operational semantics / Egidio Artesiano - Specification and transformation Metodology aspects of the Vienna development method. Towards a meaning of M in VDM / Dines Bjorner - Algebraic specification: semantics, Parametrization and refinment / Martin Wirsing - Formalization of distributed, concurrent, reactive systems / Manfred Broy - Introduction to program verification / Krzystof R. Apt and Ernst-Rüdiger Olderog - Typeful programming / Luca Cardelli 
<br/><br/><label>ISBN: </label>3540539611 
<br/><br/><label>Subjects--Topical Terms: </label><br/>INFORMÁTICA<br/>PROGRAMACIÓN
<br/><br/><label>Universal Decimal Class. No.: </label>004.42 NEU