Verified Software Theories Tools and Experiments - - Livres - Springer Nature Switzerland AG - 9783030035914 - 24 novembre 2018
Si la couverture et le titre ne correspondent pas, le titre est correct.

Verified Software Theories Tools and Experiments 1st ed. 2018 edition

Recevez un courriel lorsque l'article est disponible
Avez-vous un profil ? Connectez-vous

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions.

345 pages, 10 Illustrations, color; 91 Illustrations, black and white; XVI, 345 p. 101 illus., 10 il

Médias Livres     Book
Validé 24 novembre 2018
ISBN13 9783030035914
Éditeurs Springer Nature Switzerland AG
Pages 345
Dimensions 150 × 220 × 20 mm   ·   552 g
Langue et grammaire Allemand  
Éditeur Piskac, Ruzica
Éditeur Rummer, Philipp

Plus d'ouvrages du même éditeur