Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings

Lingua: inglese

Editore: Springer, 2023

981998310X / 9789819983100

Da: Home-set, Mannheim, GermaniaHome-set

Venditore con 5 stelle

Venditore AbeBooks dal 13 aprile 2026

Brossura

Condizione: Nuovo

EUR 80,24

EUR 49,90 spedizione 
Spedito da Germania a U.S.A.

Quantità: 2 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26-29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation. Sprache: Englisch Gewicht in Gramm: 522.

Codice articolo IB-20025205

Titolo
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Editore
Springer
Anno di pubblicazione
2023
Condizione
Neu
Rilegatura
Softcover/Taschenbuch
Lingua
inglese
ISBN 10
981998310X
ISBN 13
9789819983100
Peso dell'articolo
522 grammi

Home-set

Mannheim, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 13 aprile 2026

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

ArticoloDa 10 a 12 giorni lavorativiDa 8 a 10 giorni lavorativi
Primo articoloEUR 49,90EUR 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

Specializzazione

Buch

Informazioni sull’azienda del venditore

Home-set

Germania