Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Semantics and Algebraic Specification

Name: Semantics and Algebraic Specification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642041631
Price: 50.04 EUR
Availability: InStock

Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Autor: Jens Palsberg

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.04 €

PeterMosses,renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks...

Informácie o knihe

Autor

Jens Palsberg

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2009

Stránok

409

EAN

9783642041631

ISBN

3642041639

Enbook ID

02710919

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

640

Rozmery

155 x 235 x 23

Kompletný popis

PeterMosses,renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks, turned 60 years old on November 3, 2008. To honor this event, many of Peter s coauthors, collaborators, close colleagues, and former students gathered in Udine, Italy on September 10, 2009 for a s- posium in his honor. The presentations were on subjects related to Peter s many technicalcontributionsand they were a tribute to his lasting impact onthe ?eld. Here is the program of the symposium: Opening: Jens Palsberg Session 1: (Chair: Jos e Luiz Fiadeiro) David Watt, Action Semantics in Retrospect H el` eneKirchner,Component-BasedSecurityPolicyDesignwithColored Petri Nets Jos e Meseguer, Order-Sorted Parameterization and Induction Session 2: (Chair: Andrzej Tarlecki) Martin Musicante, An implementation of Object-Oriented Action Semantics in Maude ChristianoBraga,AConstructiveSemanticsforBasicAspectConstructs Bartek Klin, Structural Operational Semantics for Weighted Transition Systems Session 3: Fernando Orejas, On the Speci?cation and Veri?cation of Model Tra- formations Olivier Danvy, Towards Compatible and Interderivable Semantic Spe- ?cations for the Scheme Programming Language Mark van den Brand, Type Checking Evolving Languages with MSOS Edward Hermann Haeusler, Action Algebras and Model Algebrasin - notational Semantics Closing: Peter Mosses ManythankstoMarinaLenisafromthe UniversityofUdine whocoordinated the local arrangements. We also thank the Amga spa and the Net spa of Udine, the Municipality of Udine, the International Centre for Mechanical Sciences of Udine, and the Fondazione Crup for their ?nancial support. The 17 invited chapters of this Festschrift represent the proceedings of the symposium. Somecontributorswereunabletoattendthe event.

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Semantics and Algebraic Specification

Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Noble Gas and High Temperature Chemistry

Herndon's Lincoln - The History And Personal Recollections Of Abraham Lincoln By William Herndon - Vol I

Bruegel to Rubens

Invented Part

Webb Garrison's Civil War Dictionary

Opium and Empire in Southeast Asia

Qualitative Social Research

Wage Inequalities in Europe

Turkestan Down to the Mongol Invasion

Juiceman's Power of Juicing

Works Of Edgar Allan Poe - Volume Four

Antenna Arrays and Automotive Applications

Necessity of a Tobacco Quota Buyout

Management of Lymphomas: A Case-Based Approach

Contemporary Literary Criticism, Volume 349

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Im Leben tief verwurzelt

Digital Detox

Dünentod

Technology Branding

Profi-Nonogramm 3er-Band Nr. 5. Nr.5

Die Gefalschte Gottin