Lambert Meerkens – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
E-bok
PDF, Engelska, 20162 917 kr
Läs direkt efter köp
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.
Inbunden, Engelska, 1997
2 206 kr
Skickas inom 10-15 vardagar
The general theme of this working conference is notations, methods, and tool support for the calculation of programs from specifications. Its purpose is to present the results of ongoing research, descriptions of existing and prosposed systems and applications to the production of practical software. This work, a collection of papers from the conference, aims to address the following topics: the study of the calculation of programs from specifications, the design of notations for such calculation, the formulation of algorithm theories using such notations and the investigation of software support for program derivation. This book should be of interest to computer science students, software researchers and programmers requiring correct codes.