Algebra, Meaning, and Computation / Lecture Notes in Computer Science Bd.4060 (PDF)
This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work. The papers address a variety of topics from meaning, meta-logic, specification...
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
This volume - honoring the computer science pioneer Joseph Goguen on his 65th Birthday - includes 32 refereed papers by leading researchers in areas spanned by Goguen's work. The papers address a variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation, by key members of the research community in computer science and other fields connected with Joseph Goguen's work.
- 2006, 2006, 650 Seiten, Englisch
- Herausgegeben: Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3540354646
- ISBN-13: 9783540354642
- Erscheinungsdatum: 21.06.2006
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 7.56 MB
- Mit Kopierschutz
- Vorlesefunktion
Schreiben Sie einen Kommentar zu "Algebra, Meaning, and Computation / Lecture Notes in Computer Science Bd.4060".
Kommentar verfassen