Programming Languages and Systems

Lingua: inglese

Editore: Springer, Springer Mär 2007, 2007

354071314X / 9783540713142

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Brossura

Condizione: Nuovo

EUR 106,99

EUR 60,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This item is printed on demand - Print on Demand Titel. Neuware -Invited Talk.- Techniques for Contextual Equivalence in Higher-Order, Typed Languages.- Models and Languages for Web Services.- Structured Communication-Centred Programming for Web Services.- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements.- A Calculus for Orchestration of Web Services.- A Concurrent Calculus with Atomic Transactions.- Verification.- Modal I/O Automata for Interface and Product Line Theories.- Using History Invariants to Verify Observers.- Term Rewriting.- On the Implementation of Construction Functions for Non-free Concrete Data Types.- Anti-pattern Matching.- Language Based Security.- A Certified Lightweight Non-interference Java Bytecode Verifier.- Controlling the What and Where of Declassification in Language-Based Security.- Cost Analysis of Java Bytecode.- Logics and Correctness Proofs.- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning.- Abstract Predicates and Mutable ADTs in Hoare Type Theory.- Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic.- Static Analysis and Abstract Interpretation I.- Modular Shape Analysis for Dynamically Encapsulated Programs.- Static Analysis by Policy Iteration on Relational Domains.- Computing Procedure Summaries for Interprocedural Analysis.- Small Witnesses for Abstract Interpretation-Based Proofs.- Static Analysis and Abstract Interpretation II.- Interprocedurally Analysing Linear Inequality Relations.- Precise Fixpoint Computation Through Strategy Iteration.- Semantic Theories for Object Oriented Languages.- A Complete Guide to the Future.- The Java Memory Model: Operationally, Denotationally, Axiomatically.- Immutable Objects for a Java-Like Language.- Process Algebraic Techniques.- Scalar Outcomes Suffice for Finitary Probabilistic Testing.- Probabilistic Anonymity Via Coalgebraic Simulations.- A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).- A Core Calculus for a Comparative Analysis of Bio-inspired Calculi.- Applicative Programming.- A Rewriting Semantics for Type Inference.- Principal Type Schemes for Modular Programs.- A Consistent Semantics of Self-adjusting Computation.- Multi-language Synchronization.- Types for Systems Properties.- Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts.- Type Reconstruction for General Refinement Types.- Dependent Types for Low-Level Programming.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 564 pp. Englisch.…

Codice articolo 9783540713142

Titolo
Programming Languages and Systems
Autore
Rocco De Nicola
Editore
Springer, Springer Mär 2007
Anno di pubblicazione
2007
Condizione
Neu
Rilegatura
Taschenbuch
Lingua
inglese
ISBN 10
354071314X
ISBN 13
9783540713142
Peso dell'articolo
844 grammi
Dimensioni
235x155x31 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 60,00EUR 75,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • PayPal

Descrizione dello Store

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Specializzazione

Modernes Antiquariat - Bücher von 1960 bis heute

Informazioni sull’azienda del venditore

buchversandmimpf2000

Germania