Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Stacs 90 : 7th annual symposium on theoretical aspects of computer science, rouen, france, february 22-24, 1990, proceedings / C. choffrut, t. lengauer, ed. por Synposium On Theoretical Aspects Of Computer Science (7 : 1990 : Rouen, Francia) | Lengauer, Thomas [editor] | Choffrut, Christian [editor] | European Association for Theoretical Computer Science. Series Lectures notes in computer science ; 415Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA75.5 S958 1990.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Vdm'90 : Vdm and z-formal methods in software development, third international symposium of vdm europe kiel, frg, april 17-21, 1990 : Proceedings / D. bjorner, c. a. r. hoare, h. langmaack, eds. por International Symposium Of Vdm Europe (30 : Kiel, Frg : 1990) | Bjørner, D. (Dines), 1937- [editor] | Langmaack, H [editor] | Hoare, C. A. R. (Charles Antony Richard), 1934- [editor]. Series Lecture notes in computer science ; 428Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 1990Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.76 I57.
|
|
|
|
|
|
|