Logic from Computer Science: Proceedings of a Workshop Held November 13-17, 1989: v. 21 - Rilegato

 
9783540976677: Logic from Computer Science: Proceedings of a Workshop Held November 13-17, 1989: v. 21
Rilegato
ISBN 10: 3540976671 ISBN 13: 9783540976677
Casa editrice: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1992

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Data di pubblicazione
1992
Lingua
Inglese
ISBN 10 
3540976671
ISBN 13 
9783540976677
Rilegatura
Copertina rigida
Numero di pagine
619
Redattore
Moschovakis Yiannis N.
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9781461276852: Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989: 21

Edizione in evidenza

ISBN 10:  1461276853 ISBN 13:  9781461276852
Casa editrice: Springer, 2011
Brossura