Produktbild: Programming Languages with Applications to Biology and Security
Band 9465

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.11.2015

Abbildungen

XII, 375 p. 77 illus. in color.

Herausgeber

Chiara Bodei + weitere

Verlag

Springer

Seitenzahl

375

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

587 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-25526-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.11.2015

Abbildungen

XII, 375 p. 77 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

375

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

587 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-25526-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Programming Languages with Applications to Biology and Security
  • Pierpaolo Degano.- Pierpaolo, a great friend.- Distributed Authorization with Distributed Grammars.- Causal Trees, fi nally.- Limited Disclosure and Locality in Graphs.- Hoare Logic for Disjunctive Information Flow.- Alice and Bob: Reconciling Formal Models and Implementation.- Asynchronous Traces and Open Petri Nets.- Compliance in Behavioural Contracts: A Brief Survey.- Safe Adaptation Through Implicit Effect Coercion.- Validation of Decentralised Smart Contracts through Game Theory and Formal Methods.- Static Evidences for Attack Reconstruction.- A Declarative View of Signaling Pathways.- Securing Android with Local Policies.- Global Protocol Implementations via Attribute-Based Communication.- Symbolic Protocol Analysis with Disequality Constraints modulo Equational Theories.- Language Representability of Finite P/T Nets.- Soulmate Algorithms.- Active Knowledge, LuNA and Literacy for Oncoming Centuries.- There Are Two Sides to Every Question: Controller vs Attacker.- From Safety Critical Java Programs to Timed Process Models.- When to Move to Transfer Nets.- L: An Imperative DSL to Stochastically Simulate Biological Systems.