Software Engineering and Formal Methods

Anglais, 2018
Livré entre ven, 22/5 et mer, 27/5
Plus de 10 pièces en stock chez le fournisseur
livraison gratuite

Informations sur le produit

Ce livre constitue une sélection révisée d'articles issus des cinq ateliers organisés en parallèle de la 15e Conférence Internationale sur l'Ingénierie Logicielle et les Méthodes Formelles, SEFM 2017. Les 38 articles présentés dans ce volume ont été soigneusement examinés et sélectionnés parmi un total de 55 soumissions. Ils proviennent des ateliers suivants : DataMod 2017 - 6e Symposium International "Des Données aux Modèles et Retour" ; FAACS 2017 - 1er Atelier sur les Approches Formelles pour les Systèmes Informatiques Avancés ; MSE 2017 - 1er Atelier sur les Microservices : Science et Ingénierie ; CoSim-CPS 2017 - 1er Atelier sur la Co-Simulation Formelle des Systèmes Cyber-Physiques ; FOCLASA 2017 - 15e Atelier International sur les Fondements des Langages de Coordination et des Systèmes Auto-Adaptatifs.

Spécifications principales

thème
Technique & IT
Langue
Anglais
Année
2018
Nombre de pages
592
Couverture du livre
Couverture cartonnée

Informations générales

Numéro d'article
8695355
Éditeur
Springer
Catégorie
Livres spécialisés
Date de sortie
14/5/2018

Propriétés du livre

thème
Technique & IT
Langue
Anglais
Année
2018
Nombre de pages
592
Couverture du livre
Couverture cartonnée

Contribution climatique volontaire

CO₂-Emission
0.5 kg
Contribution climatique
CHF 0.11

30 jours de droit de retour si non ouvert
Aucune garantie

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
  • 1.Rheinwerk
    0 %
  • 1.S.Fischer
    0 %
  • 1.Springer
    0 %
  • 1.Stämpfli
    0 %
  • 1.Ullstein
    0 %

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
  • An der Ruhr
    Données insuffisantes
  • Anaconda
    Données insuffisantes
  • Ariston
    Données insuffisantes
  • Avery Publishing Group
    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
  • 58.Penguin Random House
    1.1 %
  • 58.Piper
    1.1 %
  • 58.Springer
    1.1 %
  • 61.An der Ruhr
    1.2 %
  • 61.Don Bosco
    1.2 %
Source: Digitec Galaxus