[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Automated Technology for Verification and Analysis

Langue AnglaisAnglais
Livre Livre de poche
Livre Automated Technology for Verification and Analysis Deepak D'Souza
Code Libristo: 18124989
Éditeurs Springer International Publishing AG, octobre 2017
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

TOP NOUVEAUTÉ
Foukni a rozsviť - Hurá, sněží! / Livre Concertina
common.buy 12.09 €
Možnosť ostrova Michel Houellebecq / Livre relié
common.buy 16.80 €
Smart Face Thomas Goodman / Livre de poche
common.buy 17.65 €
Every Place Is Holy Ground: When Religion Is Not Enough Richard Venus / Livre de poche
common.buy 17.54 €
Baby Animals Coloring Book 3 Nick Snels / Livre de poche
common.buy 11.34 €

This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

À propos du livre

Nom complet Automated Technology for Verification and Analysis
Auteur Deepak D'Souza, K. Narayan Kumar
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2017
Nombre de pages 482
EAN 9783319681665
ISBN 3319681664
Code Libristo 18124989
Éditeurs Springer International Publishing AG
Poids 7548
Dimensions 155 x 235 x 30

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Gestion de réseaux informatiques et des communications
Informatique et technologies de l’information > Informatique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo