Für diesen Artikel ist leider kein Bild verfügbar.

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)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

'Published in collaboration with the British Computer Society.'

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