Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 67,25
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 63,59
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 81,29
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 87,82
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 84,79
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 99,67
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 98,99
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 227 pages. 9.25x6.10x0.55 inches. In Stock.
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 106,61
Cantidad disponible: 15 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer Nature Switzerland, 2022
ISBN 10: 3031210360 ISBN 13: 9783031210365
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 69,54
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types.
Librería: preigu, Osnabrück, Alemania
EUR 63,85
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Programming Languages and Systems | 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings | Ilya Sergey | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2022 | Springer | EAN 9783031210365 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: Buchpark, Trebbin, Alemania
EUR 48,04
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types.
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Alemania
EUR 189,90
Cantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: gut. 2022. Programming Languages and Systems In deutscher Sprache. pages.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 58,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer Nature Switzerland Nov 2022, 2022
ISBN 10: 3031210360 ISBN 13: 9783031210365
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 69,54
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Semantics and Analysis; Testing and Verification; Types. 228 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 102,23
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand.
Idioma: Inglés
Publicado por Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10: 3031210360 ISBN 13: 9783031210365
Librería: moluna, Greven, Alemania
EUR 61,55
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 20th Asian Symposium on Programming Languages and Systems, APLAS 2022, held in Auckland, New Zealand, in December 2022.The 10 papers presented in this volume were carefully reviewed and selected from 22 submi.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 102,63
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND.
Idioma: Inglés
Publicado por Springer, Springer Nov 2022, 2022
ISBN 10: 3031210360 ISBN 13: 9783031210365
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 69,54
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -¿Semantics and Analysis.- An Algebraic Theory for Shared-State Concurrency.- Decoupling the Ascending and Descending Phases in Abstract Interpretation.- Inferring Region Types via an Abstract Notion of Environment Transformation.- Testing and Verification.- RHLE: Modular Deductive Verification of Relational Properties.- Automated Temporal Verification for Algebraic Effects.- Model-based Fault Classification for Automotive Software.- Types.- Characterizing functions mappable over GADTs.- Applicative Intersection Types.- A Calculus with Recursive Types, Record Concatenation and Subtyping.- Novice Type Error Diagnosis with Natural Language Models.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 228 pp. Englisch.