SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Atsushi Igarashi | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?



Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
Atsushi Igarashi
Springer International Publishing AG (2016)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
Ranjit Jhala; Atsushi Igarashi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Gul Agha; Atsushi Igarashi; Naoki Kobayashi; Hidehiko Masuhara; Satoshi Matsuoka; Etsuya Shibayama; Kenjiro Taura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
Michael Hanus (ed.); Atsushi Igarashi (ed.)
Springer (2022)
Pehmeäkantinen kirja
64,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
49,60 €
Springer International Publishing AG
Sivumäärä: 465 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2016
Julkaisuvuosi: 2016, 09.10.2016 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.



The papers cover a variety of topics such as 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 for programming and implementation.



 

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedingszoom
Näytä kaikki tuotetiedot
ISBN:
9783319479576
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste