Katalog der Deutschen Nationalbibliothek

Go to:

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig
Source
buchhandel.de

Higher Order Workshop (4, 1990, Banff, Alberta) and Graham M. Birtwistle

IV. Higher Order Workshop : Banff 1990 ; proceedings of the IV. Higher Order Workshop, Banff, Alberta, Canada, 10 - 14 September 1990

London, Berlin, Heidelberg, New York, Paris, Tokyo, Hong Kong, Barcelona, Budapest: Springer, 1991

Title

IV. Higher Order Workshop : Banff 1990 ; proceedings of the IV. Higher Order Workshop, Banff, Alberta, Canada, 10 - 14 September 1990 / Graham Birtwistle (ed.). Publ. in collab. with the British Computer Society

Involved 

Higher Order Workshop (4, 1990, Banff, Alberta) (Verfasser)
Graham M. Birtwistle (Herausgeber)

Published

London, Berlin, Heidelberg, New York, Paris, Tokyo, Hong Kong, Barcelona, Budapest: Springer
1991

Extent

X, 283 S. : graph. Darst.

ISBN

978-3-540-19660-0
978-0-387-19660-2

Topic

Informatik

Subject

Nebenläufigkeit, Kongress, Banff <Alberta, 1990>
Synchrones Schaltwerk, Kongress, Banff <Alberta, 1990>
Asynchrones Schaltwerk, Kongress, Banff <Alberta, 1990>
Programmiersprache, Kategorientheorie, Kongress, Banff <Alberta, 1990>
Automatisches Beweisverfahren, Kongress, Banff <Alberta, 1990>

Series

Workshops in Computing

Other editions

Erscheint auch als Online-Ausgabe: IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990

Further information

Literaturangaben

Record ID

921333552
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal