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...
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 HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |