Descripción del título
Algorithmic Languages and C...
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software
Monografía
monografia Rebiun17772039 https://catalogo.rebiun.org/rebiun/record/Rebiun17772039 cr nn 008mamaa 151116s1997 xxu| s |||| 0|eng d 9780387352640 978-0-387-35264-0 10.1007/978-0-387-35264-0 doi UPVA 996967846103706 UPM 991005682574004212 UAM 991007780214604211 UCAR 991007986860404213 BUS UMZ bicssc UL bicssc COM051230 bisacsh 005.1 23 Algorithmic Languages and Calculi Recurso electrónico] IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17{u2013}22 February 1997, Alsace, France edited by Richard S. Bird, Lambert Meertens Servicio en línea Boston, MA Springer US Imprint: Springer 1997 Boston, MA Boston, MA Springer US Imprint: Springer VIII, 443 p. online resource VIII, 443 p. IFIP Advances in Information and Communication Technology 1868-4238 The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of ongoing research, descriptions of existing and proposed systems, and applications to the production of practical software Bird, Richard S ed Meertens, Lambert ed SpringerLink eBooks--201605 (Servicio en línea) Computer Science (Springer-11645) IFIP Advances in Information and Communication Technology 1868-4238