Verification, Model Checking, and Abstract Interpretation 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Bernd Finkbeiner, Thomas Wies

  • Paru pour la première fois en 2022
  • 520 pages
  • Anglais
Genres
Non-fiction › Sciences et mathématiques › MathématiquesNon-fiction › Technologie › Informatique › Intelligence artificielleNon-fiction › Philosophie › Logique

Aucun avis pour l’instant. À toi d’ouvrir le bal !

Cette édition
Springer International Publishing, 2022
ISBN
9783030945824
Langue
Anglais