Librería: Books From California, Simi Valley, CA, Estados Unidos de America
EUR 7,23
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Very Good.
Librería: Buchpark, Trebbin, Alemania
EUR 28,13
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
Librería: Buchpark, Trebbin, Alemania
EUR 42,78
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Seiten: 602 | Sprache: Englisch | Produktart: Bücher.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,71
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 59,80
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 73,14
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 76,51
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Publicado por Springer Nature Singapore, 2023
ISBN 10: 981998310X ISBN 13: 9789819983100
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 70,85
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st Asian SymposiumonProgramming Languages and Systems, APLAS 2023, held in Taipei, Taiwan,duringNovember 26-29, 2023.The 15 full papers included in this book are carefully reviewed andselected from32submissions. 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.
Publicado por Springer, Berlin, Springer Berlin Heidelberg, Springer, 2012
ISBN 10: 3642288685 ISBN 13: 9783642288685
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 79,32
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware - This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012.The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution.
Publicado por Springer-Verlag New York Inc, 2012
ISBN 10: 3642288685 ISBN 13: 9783642288685
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
EUR 83,98
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2012 edition. 617 pages. 9.25x6.10x1.50 inches. In Stock.
Publicado por Springer-Nature New York Inc, 2024
ISBN 10: 981998310X ISBN 13: 9789819983100
Idioma: Inglés
Librería: Revaluation Books, Exeter, Reino Unido
EUR 92,59
Convertir monedaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 343 pages. 9.25x6.10x0.72 inches. In Stock.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 53,02
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 195,79
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: moluna, Greven, Alemania
EUR 221,05
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 212,46
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 204,75
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 214,65
Convertir monedaCantidad disponible: Más de 20 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 272,16
Convertir monedaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.