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

Edition: Springer
Langue: Anglais
  • 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

Vous trouverez cet article :

Catégories
Langue
Anglais
Disponibilité
Disponible à l'adresse suivante
Livre, ebook ou livre audio ?
Ebook

Commentaires

Pas encore d'avis
Comment vérifions-nous et publions-nous des avis ? Comment vérifions-nous et publions-nous des avis ?

Négatif, positif, neutre ; quel qu'il soit, nous publions chaque avis. Nous vérifions d'abord s'il répond aux conditions et s'il est authentique. Nous vérifions également qu'il ait été écrit par quelqu'un qui a acheté l'article via bol.com. Le cas échéant, nous le mentionnons. Les contrôles sont automatiques, même si des collaborateurs y jettent parfois manuellement un oeil. Bol. n'offre pas de paiement pour ces avis. Si un évaluateur a reçu une compensation d'un tiers, cette information est indiquée dans l'évaluation elle-même.

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

D'autres ont aussi regardé

Voir la liste complète