6th Refinement Workshop

Proceedings of the 6th Refinement Workshop, Organized by BCS-Facs, London, 5 - 7 January 1994

Buch | Softcover

305 Seiten

1994
Springer (Verlag)
978-0-387-19886-6 (ISBN)

Infos

'Published in collaboration with the British Computer Society.'

Produkt-Details

• Erscheint lt. Verlag: 1.8.1994
• Reihe/Serie: Workshops in Computing
• Mitarbeit: Sonstige Mitarbeit: David Till
• Zusatzinfo: Illustrations
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: Workshops in Computing
• ISBN-10: 0-387-19886-5 / 0387198865
• ISBN-13: 978-0-387-19886-6 / 9780387198866
• Zustand: Neuware