Programming Concepts, Methods and Calculi: Proceedings of the Ifip Tc2/Wg2.1/Wg2.2/Wg2.3 Working Conference on Programming Concepts, Methods and Cal: ... San Miniato, Italy, 6-10 June 1994: v. A-56 - Brossura

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

Brossura

ISBN 10: 0444820205 ISBN 13: 9780444820204

Casa editrice: North-Holland, 1994

Riassunto

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.

Dettagli dell'edizione

• Editore: North-Holland
• Data di pubblicazione: 1994
• Lingua: Inglese
• ISBN 10: 0444820205
• ISBN 13: 9780444820204
• Rilegatura: Copertina flessibile
• Numero di pagine: 592
• Redattore: Olderog Ernst-Rudiger
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile