Theory and Formal Methods 1993

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Center, Chelwood Gate, Sussex, UK, 29-31 March 1993

Buch | Softcover

325 Seiten

1993
Springer (Verlag)
978-0-387-19842-2 (ISBN)

Infos

'Published in collaboration with the British Computer Society.'

Produkt-Details

• Erscheint lt. Verlag: 1.11.1993
• Reihe/Serie: Communications and Control Engineering (Paperback)
• Mitarbeit: Sonstige Mitarbeit: Geoffrey Burn
• Zusatzinfo: Illustrations
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: Workshops in Computing
• ISBN-10: 0-387-19842-3 / 0387198423
• ISBN-13: 978-0-387-19842-2 / 9780387198422
• Zustand: Neuware