Programming Concepts, Methods and Calculi: Proceedings of the IFIP TC2/WG2.1/WG2.3 (PROCOMET '94) Working Conference, San Miniato, Italy, 6-10 June ... A: Computer Science and Technology) - Softcover

Softcover

ISBN 10: 0444820205 ISBN 13: 9780444820204

Publisher: 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.

Edition details

• Publisher: Elsevier Science Ltd
• Publication date: 1994
• Language: English
• ISBN 10: 0444820205
• ISBN 13: 9780444820204
• Binding: Paperback
• Number of pages: 602
• Editor: Olderog Ernst-Rudiger