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) - Tapa blanda

 
9780444820204: 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)
Tapa blanda
ISBN 10: 0444820205 ISBN 13: 9780444820204
Editorial: Elsevier Science Ltd, 1994

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Elsevier Science Ltd
Año de publicación
1994
Idioma
Inglés
ISBN 10 
0444820205
ISBN 13 
9780444820204
Encuadernación
Tapa blanda
Número de páginas
602
Editor
Olderog Ernst-Rudiger
Contacto del fabricante
no disponible
Persona responsable
no disponible