Programming Languages and Systems

Lingua: inglese

Editore: Springer, Springer Okt 2005, 2005

3540297359 / 9783540297352

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Brossura

Condizione: Nuovo

EUR 53,49

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.- Type Systems for XML.- The Essence of Dataflow Programming.- Data Refinement with Low-Level Pointer Operations.- A Simple Semantics for Polymorphic Recursion.- Symbolic Execution with Separation Logic.- An Abstract Interpretation Perspective on Linear vs. Branching Time.- The Parallel Implementation of the Astrée Static Analyzer.- Using Datalog with Binary Decision Diagrams for Program Analysis.- Loop Invariants on Demand.- Invited Talk.- Integrating Physical Systems in the Static Analysis of Embedded Control Software.- Reflection Analysis for Java.- Lightweight Family Polymorphism.- A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting.- Race Conditions in Message Sequence Charts.- Invited Talk.- A Next-Generation Platform for Analyzing Executables.- Calculating Polynomial Runtime Properties.- Resource Bound Certification for a Tail-Recursive Virtual Machine.- A Path Sensitive Type System for Resource Usage Verification of C Like Languages.- Termination Analysis of Higher-Order Functional Programs.- Heterogeneous Fixed Points with Application to Points-To Analysis.- Register Allocation Via Coloring of Chordal Graphs.- Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis.- Abstract Dependences for Alarm Diagnosis.- A Typed, Compositional Logic for a Stack-Based Abstract Machine.- A New Occurrence Counting Analysis for BioAmbients.- A Parametric Model for the Analysis of Mobile Ambients.- On the Rôle of Abstract Non-interference in Language-Based Security.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 452 pp. Englisch.…

Codice articolo 9783540297352

Titolo
Programming Languages and Systems
Autore
Kwangkeun Yi
Editore
Springer, Springer Okt 2005
Anno di pubblicazione
2005
Condizione
Neu
Rilegatura
Taschenbuch
Lingua
inglese
ISBN 10
3540297359
ISBN 13
9783540297352
Peso dell'articolo
680 grammi
Dimensioni
235x155x25 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