CHF 69,00

Tests and Proofs
16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Anglais · Livre de poche

Expédition généralement dans un délai de 4 à 7 jours ouvrés

Description

En savoir plus

This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.

Détails du produit

Collaboration Karl Meinke (Editeur), Laura Kovács (Editeur), Meinke (Editeur)
Edition Springer, Berlin
 
Contenu Livre
Forme du produit Livre de poche
Date de parution 01.01.2022
Catégorie Sciences humaines, art, musique > Philosophie > Général, dictionnaires
Littérature spécialisée > Philosophie, religion > Philosophie: général, ouvrages de référence
 
EAN 9783031098260
ISBN 978-3-0-3109826-0
Nombre de pages 127
Illustrations VIII, 127 p. 28 illus., 10 illus. in color.
Dimensions (emballage) 15,5 x 0,7 x 23,5 cm
 
Thème Lecture Notes in Computer Science > 13361
Catégories Computerhardware, Linguistics, Theoretische Informatik, Mathematics, Softwaredesign, Softwareengineering, engineering, Verification, Semantics, architecting, ArtificialIntelligence, computersystems, computerscience, softwarearchitecture, embeddedsystems, modelchecking, computerprogramming, formallogic, Softwarequality, verificationandvalidation, architectureverificationandvalidation
 

Commentaires des clients

Aucune analyse n'a été rédigée sur cet article pour le moment. Sois le premier à donner ton avis et aide les autres utilisateurs à prendre leur décision d'achat.

Écris un commentaire

Super ou nul ? Donne ton propre avis.

Pour les messages à CeDe.ch, veuillez utiliser le formulaire de contact.

Il faut impérativement remplir les champs de saisie marqués d'une *.

En soumettant ce formulaire, tu acceptes notre déclaration de protection des données.