Muutke küpsiste eelistusi

E-raamat: Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

5.00/5 (1 hinnangut Goodreads-ist)
Edited by , Edited by , Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th BirthdaysSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This Festschrift volume is published in honor of Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays in 2014 and 2015, respectively. The papers included in this volume deal with the wide area of calculi, semantics, and analysis.The book features contributions from colleagues, who have worked together with Hanne and Flemming through their scientific life and are dedicated to them and to their work. The papers were presented at a colloquium at the Technical University of Denmark in January 2016.

"The collection at hand contains a fairly varied set of contributions, quite well anchored around the themes of the Nielsons" work. ... The overall quality is excellent. The variety of topics touched is quite broad ... ." (Jacques Carette, Computing Reviews, April, 2016)

Arvustused

The collection at hand contains a fairly varied set of contributions, quite well anchored around the themes of the Nielsons work. The overall quality is excellent. The variety of topics touched is quite broad . (Jacques Carette, Computing Reviews, April, 2016)

Effect Systems Revisited---Control-Flow Algebra and Semantics
1(32)
Alan Mycroft
Dominic Orchard
Tomas Petricek
Last Mile's Resources
33(21)
Chiara Bodei
Pierpaolo Degano
Gian-Luigi Ferrari
Letterio Galletta
Formal Modelling and Analysis of Socio-Technical Systems
54(20)
Christian W. Probst
Florian Kammuller
Rene Rydhof Hansen
Static Timing Analysis -- What is Special?
74(14)
Jan Reineke
Reinhard Wilhelm
An Automata-Based Approach to Trace Partitioned Abstract Interpretation
88(23)
Mads Christian Olesen
Rene Rydhof Hansen
Kim Guldstrand Larsen
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression
111(29)
Alessandra Di Pierro
Herbert Wiklicky
Abstract Interpretation of PEPA Models
140(19)
Stephen Gilmore
Jane Hillston
Natalia Zon
Static Analysis of Parity Games: Alternating Reachability Under Parity
159(19)
Michael Huth
Jim Huan-Pu Kuo
Nir Piterman
Game Theory and Industrial Control Systems
178(13)
Chris Hankin
Playing with Abstraction and Representation
191(23)
Bernhard Steffen
Malte Isberner
Marc Jasper
Schedulers are no Prophets
214(22)
Arnd Hartmanns
Holger Hermanns
Jan Krcal
Replicating Data for Better Performances in X10
236(16)
Marina Andric
Rocco De Nicola
Alberto Lluch Lafuente
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically
252(20)
David A. Schmidt
Enhancing Top-Down Solving with Widening and Narrowing
272(17)
Kalmer Apinis
Helmut Seidl
Vesal Vojdani
Modal Intersection Types, Two-Level Languages, and Staged Synthesis
289(24)
Fritz Henglein
Jakob Rehof
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics
313(32)
Luca Aceto
Alvaro Garcia-Perez
Anna Ingolfsdottir
Author Index 345
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97833192781002e.html
Märksõnad: