Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Semantics and Algebraic Specification Jens Palsberg

Semantics and Algebraic Specification

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

Szerző: Jens Palsberg
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
PeterMosses,renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks...

Információk a könyvről

Szerző
Jens Palsberg
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2009
oldal
409
EAN
9783642041631
ISBN
3642041639
Enbook ID
02710919
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
640
Méretek
155 x 235 x 23

Teljes leírás

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.

Érdekelheti

Noble Gas and High Temperature Chemistry

Dieter Cremer
19 305 Ft

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

Abraham Lincoln
8 514 Ft

Bruegel to Rubens

An Van Camp
10 352 Ft

Invented Part

Rodrigo Fresan
5 685 Ft

Webb Garrison's Civil War Dictionary

Webb Garrison
5 133 Ft

Opium and Empire in Southeast Asia

A. Wright
43 689 Ft

Qualitative Social Research

Vivienne Waller
12 199 Ft

Wage Inequalities in Europe

Salimata Sissoko
23 712 Ft

Turkestan Down to the Mongol Invasion

W Barthold
20 470 Ft

Juiceman's Power of Juicing

Jay Kordich
5 416 Ft

Works Of Edgar Allan Poe - Volume Four

Edgar Allan Poe
7 976 Ft

Antenna Arrays and Automotive Applications

Victor Rabinovich
38 497 Ft

Necessity of a Tobacco Quota Buyout

United States Congress Senate Committee
7 451 Ft

Management of Lymphomas: A Case-Based Approach

Larry W. Kwak
18 924 Ft

Contemporary Literary Criticism, Volume 349

Gale
223 784 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Im Leben tief verwurzelt

Marianne Moldenhauer
8 074 Ft

Digital Detox

Daniela Otto
6 097 Ft

Dünentod

Sven Koch
4 452 Ft

Technology Branding

Gerald Sitte
25 218 Ft

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

3 712 Ft

Die Gefalschte Gottin

Kurt Kluge
8 415 Ft