Rigorous State-Based Methods

Alexandre Raschke, Dominique Méry, 2021
Évaluations
MarquePlus de produits Springer
Livré entre ven, 15/8 et mar, 19/8
Plus de 10 pièces en stock chez le fournisseur
livraison gratuite

Informations sur le produit

Le livre "Rigorous State-Based Methods" documente les actes de la 8ème Conférence Internationale sur les méthodes rigoureuses basées sur les états, qui devait initialement se tenir à Ulm, en Allemagne. Cependant, en raison de la pandémie de COVID-19, la conférence a été transformée en un format en ligne. Ce volume contient 6 articles complets et 8 contributions courtes, soigneusement sélectionnées parmi un total de 18 soumissions. De plus, 3 contributions d'un symposium de doctorants sont incluses. Les sujets abordés se concentrent sur des méthodes formelles, à la fois basées sur les états et sur les machines, en particulier sur les Machines d'État Abstraites (ASM), Alloy, B, TLA+, VDM et Z. Cet ouvrage s'adresse aux professionnels et aux étudiants dans le domaine de l'ingénierie et des technologies de l'information qui souhaitent se familiariser avec les dernières avancées dans la recherche sur les méthodes formelles.

Spécifications principales

thème
Technique & IT
Auteur
Alexandre Raschke, Dominique Méry
Couverture du livre
Couverture cartonnée
Année
2021
Numéro d'article
56198243

Informations générales

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

Propriétés du livre

thème
Technique & IT
Auteur
Alexandre Raschke, Dominique Méry
Année
2021
Couverture du livre
Couverture cartonnée
Année
2021

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
  • 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 %

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
  • 44.Urban & Fischer
    0,8 %
  • 50.Campus
    0,9 %
  • 50.Springer
    0,9 %
  • 52.Avery Publishing Group
    1 %
  • 52.Pearson Studium
    1 %
Source: Digitec Galaxus