Model Checking Software

C. R. Ramakrishnan, Ezio Bartocci, 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

Il libro "Model Checking Software" documenta gli atti referati del 20° Simposio Internazionale sul Model Checking Software, tenutosi a luglio 2013 a Stony Brook, NY, USA. Comprende 18 articoli regolari, 2 articoli di dimostrazione di strumenti e 2 articoli invitati, selezionati con cura da un totale di 40 sottomissioni. Tradizionalmente, il focus del simposio è sulle tecniche di model checking a stato esplicito, come quelle implementate in SPIN e in altri strumenti correlati. Negli ultimi anni, tuttavia, l'attenzione si è ampliata per includere anche tecniche di verifica e testing formale dei sistemi software in generale. Questo libro offre quindi preziose intuizioni sugli sviluppi e le sfide attuali nel campo della verifica del software.

Le specifiche più importanti in sintesi

argomento
Tecnologia & IT
Autore
C. R. Ramakrishnan, Ezio Bartocci
Copertina del libro
Copertina rigida
Anno
2013
No. di articolo
55522633

Informazioni generali

Editore
Springer
Categoria
Libro specialistico
Data di rilascio
4.3.2025

Caratteristiche del libro

argomento
Tecnologia & IT
Autore
C. R. Ramakrishnan, Ezio Bartocci
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
  • 45.Macmillan
    1 %
  • 45.Pearson Studium
    1 %
  • 45.Springer
    1 %
  • 45.Various Publishers
    1 %
  • 51.Droemer Knaur
    1.1 %
Fonte: Digitec Galaxus