Items related to Logic from Computer Science: Proceedings of a Workshop...

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

 
9783540976677: Logic from Computer Science: Proceedings of a Workshop Held November 13-17, 1989: v. 21 (Mathematical Sciences Research Institute Publications)
Hardcover
ISBN 10: 3540976671 ISBN 13: 9783540976677
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1992

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publication date
1992
Language
English
ISBN 10 
3540976671
ISBN 13 
9783540976677
Binding
Hardcover
Number of pages
619
Editor
Moschovakis Yiannis N.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

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

Featured Edition

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