Typed Lambda Calculi and Applications

Masahito Hasegawa, 2013
Valutazioni
MarcaAltri prodotti Springer
Consegna tra gio, 12.6. e sab, 14.6.
Più di 10 pezzi in stock presso il fornitore

Informazioni sul prodotto

"Typed Lambda Calculi and Applications" è una raccolta completa di risultati di ricerca derivati dai contributi selezionati della 11ª Conferenza Internazionale sui Typed Lambda Calculi e le loro Applicazioni, TLCA 2013. Questa conferenza si è svolta a giugno 2013 a Eindhoven, Paesi Bassi, ed era parte della 7ª Conferenza Federata su temi come Riscrittura, Deduzione e Programmazione. Questo volume contiene 15 articoli completi revisionati, scelti tra 41 lavori presentati. I contributi coprono un ampio spettro di argomenti attuali nel campo dei lambda calcoli tipizzati, comprese questioni teoriche e metodologiche, nonché applicazioni pratiche in vari contesti. Gli argomenti trattati spaziano dalla teoria dei prove e semantica all'implementazione, tipi e programmazione, rendendo il libro una risorsa preziosa per ricercatori e professionisti in questo campo.

Le specifiche più importanti in sintesi

argomento
Tecnologia & IT
Autore
Masahito Hasegawa
Copertina del libro
Copertina rigida
Anno
2013
No. di articolo
55522546

Informazioni generali

Editore
Springer
Categoria
Libro specialistico
Data di rilascio
4.3.2025

Caratteristiche del libro

argomento
Tecnologia & IT
Autore
Masahito Hasegawa
Anno
2013
Copertina del libro
Copertina rigida
Anno
2013

Contributo climatico volontario

Emissione di CO₂
Contributo climatico

30 di diritto di recesso se non aperto
24 mesi Garanzia (Bring-in)

Confronta i prodotti

Suggerimenti

Valutazioni e opinioni

Ritenuta di garanzia

La frequenza con cui un prodotto di questo marchio nella categoria «Libro specialistico» presenta un difetto nei primi 24 mesi.

Fonte: Digitec Galaxus
  • 41.Penguin Random House
    0.1 %
  • 41.rororo
    0.1 %
  • 41.Springer
    0.1 %
  • 41.Urban & Fischer
    0.1 %
  • 45.Beck C.H.
    0.2 %

Durata della garanzia

Il tempo di elaborazione che intercorre tra l'arrivo al centro di assistenza e il recupero da parte del cliente, in media in giorni lavorativi.

Fonte: Digitec Galaxus
  • Springer
    Dati non sufficienti
  • Anaconda
    Dati non sufficienti
  • Ariston
    Dati non sufficienti
  • Avery Publishing Group
    Dati non sufficienti
  • Beck C.H.
    Dati non sufficienti

Purtroppo non disponiamo di dati sufficienti per questa categoria per mostrarti ulteriori percentuali.

Percentuale di reso

La frequenza con cui un prodotto di questo marchio nella categoria «Libro specialistico» viene restituito.

Fonte: Digitec Galaxus
  • 44.Macmillan
    1 %
  • 44.Pearson Studium
    1 %
  • 44.Springer
    1 %
  • 44.Various Publishers
    1 %
  • 50.Droemer Knaur
    1.1 %
Fonte: Digitec Galaxus