Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989 (Mathematical Sciences Research Institute Publications) - Hardcover

 
9783540976677: Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989 (Mathematical Sciences Research Institute Publications)
Hardcover
ISBN 10: 3540976671 ISBN 13: 9783540976677
Verlag: Springer Berlin, 1992

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

This text represents the proceedings of a workshop held in 1989 and covers such areas as computability and the complexity of higher type functions, logics for termination and correctness of functional programs and concurrent computation as game playing.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Berlin
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
3540976671
ISBN 13 
9783540976677
Einband
Gebundene Ausgabe
Anzahl der Seiten
619
Herausgeber
Moschovakis Yiannis N.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9781461276852: Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989 (Mathematical Sciences Research Institute Publications, Band 21)

Vorgestellte Ausgabe

ISBN 10:  1461276853 ISBN 13:  9781461276852
Verlag: Springer, 2011
Softcover