Honoring the computer science pioneer Joseph Goguen on his 65th Birthday, this title includes the refereed papers by researchers in areas spanned by Goguen's work. It features the papers addressing a variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, and models, deduction, and computation.
Les mer
Includes supplementary material: sn.pub/extras
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Les mer
Produktdetaljer
ISBN
9783540354628
Publisert
2006-06-22
Utgiver
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, UU, 05
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
38