Programming Concepts, Methods and Calculi: Proceedings of the Ifip Tc2/Wg2.1/Wg2.2/Wg2.3 Working Conference on Programming Concepts, Methods and Cal - Couverture souple

 
9780444820204: Programming Concepts, Methods and Calculi: Proceedings of the Ifip Tc2/Wg2.1/Wg2.2/Wg2.3 Working Conference on Programming Concepts, Methods and Cal
Couverture souple
ISBN 10 : 0444820205 ISBN 13 : 9780444820204
Editeur : Elsevier Science Ltd, 1994

Synopsis

Brought together in this book are the most recent developments in research on formal description and analysis of programming concepts, on programming methods and program derivation calculi. A major part of the book is devoted to formal techniques for describing and reasoning about concurrent systems. Specific topics covered are: semantic foundations, design methods, compositional reasoning, refinements of actions and states, and visual specifications formalisms. Furthermore, the book presents novel techniques for the derivation of programs and their analysis, and the use of types in specifications. Researchers, graduate and PhD students in computer science should find this book invaluable.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Elsevier Science Ltd
Date d'édition
1994
Langue
anglais
ISBN 10 
0444820205
ISBN 13 
9780444820204
Reliure
Broché
Nombre de pages
602
Éditeur
Olderog Ernst-Rudiger
Coordonnées du fabricant
non disponible
Personne responsable
non disponible