Rigorous State-Based Methods

Alexander Raschke, Dominique Méry, 2021
Valutazioni
MarcaAltri prodotti Springer
Consegna tra ven, 15.8. e mar, 19.8.
Più di 10 pezzi in stock presso il fornitore
spedizione gratuita

Informazioni sul prodotto

Il libro "Rigorous State-Based Methods" documenta gli atti della 8ª Conferenza Internazionale sui metodi rigorosi basati sugli stati, che inizialmente si sarebbe dovuta tenere a Ulm, in Germania. Tuttavia, a causa della pandemia di COVID-19, la conferenza è stata trasformata in un formato online. Questo volume contiene 6 articoli completi e 8 contributi brevi, selezionati con cura da un totale di 18 sottomissioni. Inoltre, sono inclusi 3 contributi da un simposio per dottorandi. Gli argomenti trattati si concentrano su metodi formali, sia basati sugli stati che basati su macchine, in particolare su Abstract State Machines (ASM), Alloy, B, TLA+, VDM e Z. Questo libro di settore è destinato a professionisti e studenti nel campo dell'ingegneria e dell'IT che desiderano approfondire gli sviluppi più recenti nella ricerca sui metodi formali.

Le specifiche più importanti in sintesi

argomento
Tecnologia & IT
Autore
Alexander Raschke, Dominique Méry
Copertina del libro
Copertina rigida
Anno
2021
No. di articolo
56198243

Informazioni generali

Editore
Springer
Categoria
Libro specialistico
Data di rilascio
11.3.2025

Caratteristiche del libro

argomento
Tecnologia & IT
Autore
Alexander Raschke, Dominique Méry
Anno
2021
Copertina del libro
Copertina rigida
Anno
2021

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
  • 40.Penguin Random House
    0.1 %
  • 40.rororo
    0.1 %
  • 40.Springer
    0.1 %
  • 40.Urban & Fischer
    0.1 %
  • 44.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.Urban & Fischer
    0.8 %
  • 50.Campus
    0.9 %
  • 50.Springer
    0.9 %
  • 52.Avery Publishing Group
    1 %
  • 52.Pearson Studium
    1 %
Fonte: Digitec Galaxus