Programming Concepts, Methods and Calculi: Proceedings of the Ifip Tc2/Wg2.1/Wg2.2/Wg2.3 Working Conference on Programming Concepts, Methods and Cal: ... A, Computer Science and Technology, A-56) - Softcover

Ifip Tc2/Wg2.1/Wg2.2/Wg2.3 Working Conference On Programming Concepts; International Federation For Information Processing

 
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: ... A, Computer Science and Technology, A-56)
Softcover
ISBN 10: 0444820205 ISBN 13: 9780444820204
Verlag: Elsevier Science Ltd, 1994

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Elsevier Science Ltd
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
0444820205
ISBN 13 
9780444820204
Einband
Taschenbuch
Anzahl der Seiten
592
Herausgeber
Olderog Ernst-Rudiger
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar