Model Checking Software

C. R. Ramakrishnan, Ezio Bartocci, 2013
Évaluations
MarquePlus de produits Springer
Livré entre jeu, 12/6 et sam, 14/6
Plus de 10 pièces en stock chez le fournisseur

Informations sur le produit

Le livre "Model Checking Software" documente les actes référés du 20ème Symposium International sur le Model Checking Software, qui s'est tenu en juillet 2013 à Stony Brook, NY, États-Unis. Il comprend 18 contributions régulières, 2 articles de démonstration d'outils et 2 contributions invitées, soigneusement sélectionnées parmi un total de 40 soumissions. Le symposium se concentre traditionnellement sur les techniques de vérification de modèles par état explicite, telles qu'elles sont mises en œuvre dans SPIN et d'autres outils connexes. Cependant, ces dernières années, l'accent a été élargi pour inclure des techniques de vérification et de test formel des systèmes logiciels en général. Ce livre offre donc des aperçus précieux sur les développements et les défis actuels dans le domaine de la vérification des logiciels.

Spécifications principales

thème
Technique & IT
Auteur
C. R. Ramakrishnan, Ezio Bartocci
Couverture du livre
Couverture cartonnée
Année
2013
Numéro d'article
55522633

Informations générales

Éditeur
Springer
Catégorie
Livres spécialisés
Date de sortie
4/3/2025

Propriétés du livre

thème
Technique & IT
Auteur
C. R. Ramakrishnan, Ezio Bartocci
Année
2013
Couverture du livre
Couverture cartonnée
Année
2013

Contribution climatique volontaire

CO₂-Emission
Contribution climatique

30 jours de droit de retour si non ouvert
24 mois Garantie (Bring-in)

Comparer les produits

Convient

Critiques et opinions

Taux de recours en garantie

La fréquence à laquelle un produit de cette marque dans la catégorie « Livres spécialisés » présente un défaut au cours des 24 premiers mois.

Source: 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 %

Durée de la garantie

Le temps moyen de traitement entre l'arrivée au point de service et le retour chez le client, en jours ouvrables.

Source: Digitec Galaxus
  • Springer
    Données insuffisantes
  • Anaconda
    Données insuffisantes
  • Ariston
    Données insuffisantes
  • Avery Publishing Group
    Données insuffisantes
  • Beck C.H.
    Données insuffisantes

Malheureusement, nous n’avons pas encore assez de données pour cette catégorie pour vous montrer plus de quotas.

Taux de retour

Fréquence à laquelle un produit de cette marque est retourné dans la catégorie « Livres spécialisés ».

Source: Digitec Galaxus
  • 45.Macmillan
    1 %
  • 45.Pearson Studium
    1 %
  • 45.Springer
    1 %
  • 45.Various Publishers
    1 %
  • 51.Droemer Knaur
    1,1 %
Source: Digitec Galaxus