Formal descriptions of Programming Concepts / edited by Erich J. Neuhold and Manfred Paul por Neuhold, Erich J. [editor] | Paul, Manfred [editor] | Apt, Krzysztof R. [Contribución] | Artesiano, Egidio [Contribución] | Bjorner, Dines [Contribución] | Broy, Manfred [Contribución] | Cardelli, Luca [Contribución] | Moses, Peter D. [Contribución] | Olderog, Ernst-Rüdiger [Contribución] | Wirsing, Martin [Contribución].
Tipo de material: 
Texto; Formato:
impreso ; Forma literaria:
No es ficción Detalles de publicación: Berlín : Springer-Verlag, 1994Disponibilidad: Ítems disponibles para préstamo: FIE - Biblioteca Savio (2)Signatura topográfica: 004.42/ N28 / Ej. 2, ...
