Menu
Виж статуса на поръчката
Свържете се с нас
Книга Semantics and Algebraic Specification Jens Palsberg

Semantics and Algebraic Specification

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

Автор: Jens Palsberg
Език: Английски език
Корици: С меки корици
Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Наличност: Външен склад
Изпращаме след 5-8 дни
52.84 € 103.34 лв
PeterMosses,renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks...

Информация за книгата

Автор
Jens Palsberg
Език
Английски език
Корици
Книга - С меки корици
Издадена
2009
страници
409
EAN
9783642041631
ISBN
3642041639
Enbook ID
02710919
Издател
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Теглоt
640
Размери
155 x 235 x 23

Пълно описание

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.

Може също да ви хареса

Noble Gas and High Temperature Chemistry

Dieter Cremer
52.84 € 103.34 лв

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

Abraham Lincoln
24.06 € 47.05 лв

Bruegel to Rubens

An Van Camp
29.23 € 57.17 лв

Invented Part

Rodrigo Fresan
14.56 € 28.48 лв

Webb Garrison's Civil War Dictionary

Webb Garrison
13.16 € 25.73 лв

Opium and Empire in Southeast Asia

A. Wright
125.58 € 245.60 лв

Qualitative Social Research

Vivienne Waller
36.76 € 71.91 лв

Wage Inequalities in Europe

Salimata Sissoko
70.42 € 137.73 лв

Turkestan Down to the Mongol Invasion

W Barthold
54.14 € 105.90 лв

Juiceman's Power of Juicing

Jay Kordich
13.86 € 27.11 лв

Works Of Edgar Allan Poe - Volume Four

Edgar Allan Poe
22.50 € 44.00 лв

Antenna Arrays and Automotive Applications

Victor Rabinovich
105.43 € 206.21 лв

Necessity of a Tobacco Quota Buyout

United States Congress Senate Committee
19.49 € 38.11 лв

Management of Lymphomas: A Case-Based Approach

Larry W. Kwak
51.78 € 101.28 лв

Contemporary Literary Criticism, Volume 349

Gale
615.84 € 1 204.48 лв

Клиенти, които купиха тази книга, купиха също

Im Leben tief verwurzelt

Marianne Moldenhauer
22.10 € 43.22 лв

Digital Detox

Daniela Otto
16.67 € 32.61 лв

Dünentod

Sven Koch
12.15 € 23.77 лв

Technology Branding

Gerald Sitte
69.06 € 135.08 лв

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

11.10 € 21.70 лв

Die Gefalschte Gottin

Kurt Kluge
23.00 € 44.99 лв