Algebra, meaning, and computation essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday /

Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, lo...

Full description

Other Authors: Futatsugi, Kokichi., Jouannaud, Jean-Pierre., Meseguer, José., Goguen, Joseph., SpringerLink (Online service)
Format: eBook
Language: English
Published: Berlin ; New York : Springer, ©2006.
Berlin ; New York : [2006]
Physical Description: 1 online resource (xxxviii, 642 pages) : illustrations.
Series: Lecture notes in computer science ; 4060.
Lecture notes in computer science. Festschrift.
Subjects:

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available