Duration Calculus

Inglese, Chaochen Zhou, Michael R. Hansen, 2003
Valutazioni
MarcaAltri prodotti Springer
Consegna tra ven, 2.10. e ven, 9.10.
spedizione gratuita

Copertina del libro2

Informazioni sul prodotto

Il calcolo delle durate costituisce un approccio formale allo sviluppo di sistemi in tempo reale. Come una logica degli intervalli con caratteristiche speciali per esprimere e analizzare le durate temporali degli stati nei sistemi in tempo reale, consente di rappresentare e ragionare formalmente sui requisiti e sui progetti a un livello di astrazione appropriato. Questo libro presenta le fondamenta logiche del calcolo delle durate in modo coerente e approfondito. Attraverso casi studio selezionati, spiega come il calcolo delle durate possa essere applicato alla specifica formale e alla verifica di sistemi in tempo reale. Il libro contiene anche un'ampia panoramica della ricerca attuale in questo campo. Il materiale incluso in questo libro è stato utilizzato per corsi di laurea e post-laurea, ed è adatto anche per ricercatori e professionisti esperti.

Le specifiche più importanti in sintesi

argomento
Tecnologia & IT
Lingua
Inglese
Autore
Chaochen Zhou, Michael R. Hansen
Anno
2003
Numero di pagine
250
Copertina del libro
Copertina rigida

Informazioni generali

No. di articolo
35139759
Editore
Springer
Categoria
Libro specialistico
No. di fabbricazione
9783540408239
Data di rilascio
17.5.2023

Caratteristiche del libro

argomento
Tecnologia & IT
Lingua
Inglese
Autore
Chaochen Zhou, Michael R. Hansen
Anno
2003
Numero di pagine
250
Edizione
1
Copertina del libro
Copertina rigida

Contributo climatico volontario

Emissioni di CO₂
0.35 kg
Contributo climatico
CHF 0.11

Dimensioni prodotto

Altezza
235 mm
Larghezza
155 mm
Peso
502 g

30 di diritto di recesso se non aperto
Nessuna garanzia

Confronta i prodotti

Visualizza tutti

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.Reclam
    0 %
  • 1.Rheinwerk
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Urban & Fischer
    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
  • Artist Ahead
    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
  • 65.Orell Füssli
    1.2 %
  • 65.Rheinwerk
    1.2 %
  • 65.Springer
    1.2 %
  • 65.Urban & Fischer
    1.2 %
  • 73.Campus
    1.3 %
Fonte: Digitec Galaxus