3rd Refinement Workshop

Proceedings of the 3rd Refinement Workshop (Organised by BCS-Facs, and Sponsored by IBM UK Laboratories, Hurslay Park and the Programming Research Group, University of Oxford), 9-11 January 1990, Hursley Park

Buch | Hardcover

197 Seiten

1991
Springer (Verlag)
978-0-387-19624-4 (ISBN)

Infos

'Published in collaboration with the British Computer Society.'

Produkt-Details

• Erscheint lt. Verlag: 1.5.1991
• Reihe/Serie: Workshops in Computing
• Mitarbeit: Sonstige Mitarbeit: Carroll Morgan
• Zusatzinfo: Illustrations
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: Workshops in Computing
• ISBN-10: 0-387-19624-2 / 0387196242
• ISBN-13: 978-0-387-19624-4 / 9780387196244
• Zustand: Neuware