Lecture Notes in Computer Science 14624 - Model Checking Software Ebook 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

  • en
  • livre numérique
  • 9783031661495
  • 12 octobre 2024
  • EPUB3
Toutes les spécifications de l'article

Résumé

This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.

The 9 full papers, 3 short papers and 2 invited papers included in this book were carefully reviewed and selected from 23 submissions. They are organized in topical sections as follows: model checking; anniversary; automated reasoning; and verification tools.

Spécifications produit

Contenu

Langue
en
Version
livre numérique
Date de sortie initiale
12 octobre 2024
Format ebook
EPUB3

Personnes impliquées

Rédacteur en chef
Thomas Neele
Deuxième rédacteur
Anton Wijs
Editeur principal
Springer

Options de lecture

Lisez cet ebook sur
Ordinateur de bureau (Mac et Windows) | Lecteur électronique Kobo | Android (smartphone et tablette) | iOS (smartphone et tablette) | Windows (smartphone et tablette)

Informations sur le fabricant

Informations sur le fabricant
Les informations du fabricant ne sont actuellement pas disponibles

Autres spécifications

Livre d‘étude
Non

EAN

EAN
9783031661495

Sécurité des produits

Opérateur économique responsable dans l’UE
Afficher les données
Pas encore d'avis
Choisissez la version souhaitée
Version : livre numérique
Informations sur les prix et commande
Le prix de ce produit est de 49 euros et 99 cents.
Disponible immédiatement
Vendu par bol
  • Ebook utilisable dès son achat
  • Les ebooks offrent plein d'avantages
  • Garantie légale via bol
  • Service client 24h/24
  • Paiement sécurisé
Vous ne pouvez pas annuler ou retourner des éléments téléchargés. Pour les produits qui ne sont pas encore parus, vous pouvez annuler jusqu'à la date de publication.
Voir les conditions de retour