Practical TLA+

Inglese, Hillel Wayne, 2018
Valutazioni
MarcaAltri prodotti Springer
Consegna tra ven, 5.6. e mar, 9.6.
Più di 10 pezzi in stock presso il fornitore
Spedizione gratuita a partire da 50.–

Informazioni sul prodotto

Applica TLA+ a problemi del mondo reale e acquisisci i fondamenti per iniziare con le tue specifiche. Questo libro è una risorsa pratica e completa sulla programmazione TLA+ con esempi ricchi e complessi. Practical TLA+ ti mostra come utilizzare TLA+ per specificare un sistema complesso e testare il design stesso per eventuali bug, proprio come fanno Amazon e Microsoft con i loro nuovi sistemi. Imparerai come anche una breve specifica TLA+ possa individuare bug critici. Inizia a familiarizzare con un esempio di TLA+ utilizzato in un sistema di trasferimento bancario per vedere come ti aiuti a progettare, testare e costruire un'applicazione migliore. Poi, apprendi i fondamenti degli operatori TLA+, della logica, delle funzioni, di PlusCal, dei modelli e della concorrenza. Scoprirai anche la sintassi avanzata specifica di TLA+ e vedrai come funziona con la concorrenza combinata con una certa logica temporale. Infine, metterai in pratica ciò che hai imparato con quattro applicazioni di studio di caso funzionanti.

Le specifiche più importanti in sintesi

Lingua
Inglese
Autore
Hillel Wayne
Anno
2018
Numero di pagine
285
Copertina del libro
Copertina rigida

Informazioni generali

No. di articolo
9054086
Editore
Springer
Categoria
Libro specialistico
Data di rilascio
26.12.2018

Caratteristiche del libro

Lingua
Inglese
Autore
Hillel Wayne
Anno
2018
Numero di pagine
285
Edizione
1
Copertina del libro
Copertina rigida

Contributo climatico volontario

Emissioni di CO₂
0.5 kg
Contributo climatico
CHF 0.11

30 di diritto di recesso se non aperto
Nessuna garanzia

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
  • 1.Rheinwerk
    0 %
  • 1.S.Fischer
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Ullstein
    0 %

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
  • An der Ruhr
    Dati non sufficienti
  • Anaconda
    Dati non sufficienti
  • Ariston
    Dati non sufficienti
  • Avery Publishing Group
    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
  • 54.Wiley VCH
    1 %
  • 60.Penguin Random House
    1.1 %
  • 60.Springer
    1.1 %
  • 62.An der Ruhr
    1.2 %
  • 62.Don Bosco
    1.2 %
Fonte: Digitec Galaxus