Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Integrated Formal Methods

13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Integrated Formal Methods Nadia Polikarpova
Code Libristo: 16803868
Éditeurs Springer International Publishing AG, août 2017
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Fo... Description détaillée
? points 125 b
51.65 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Sancti Aurelii Augustini Hipponensis Episcopi ... Opera Omnia Post Lovaniensium Theologorum Recensionem Castigata: Denuo Ad Manuscriptes Codices Galli Saint Augustine of Hippo / Livre Livre de poche
common.buy 29.71 €
LE MYSTERE DE LA MAISON AUX TROIS ORMES Musso / Livre Livre de poche
common.buy 36.59 €
La sagesse divine des animaux Stacey Demarco / Livre Livre relié
common.buy 30.72 €
Die Auflage Nach Dem Burgerlichen Gesetzbuche (1898) August Feigel / Livre Livre de poche
common.buy 20.31 €
Au Bord Du Lac (1852) Emile Souvestre / Livre Livre de poche
common.buy 29.71 €
Lumieres Et Romantisme M. Castillo / Livre Livre de poche
common.buy 28.50 €
Lecciones de Seguridad Social (I) : el sistema de Seguridad Social su régimen general y la protección social complementaria Francisco Javier Hernáez Manrique / Livre Livre de poche
common.buy 18.89 €
Arte poética de Horacio o Epístola a los Pisones: Tres traducciones al castellano y la versión latina Horacio / Livre Livre de poche
common.buy 27.39 €
Leonardo Martin Kemp / Livre Livre de poche
common.buy 13.23 €
Divertimento für Tenorsaxaphon und kleines Ensembl Carl/Enders Oesterhelt / Audio CD Audio
common.buy 22.53 €
El silenci de les cases MARIA SANPLA / Livre Livre de poche
common.buy 14.95 €

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Integrated Formal Methods
Auteur Nadia Polikarpova, Steve Schneider
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2017
Nombre de pages 438
EAN 9783319668444
ISBN 3319668447
Code Libristo 16803868
Éditeurs Springer International Publishing AG
Poids 6905
Dimensions 155 x 235 x 26

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Technologies de l’information : questions générales
Informatique et technologies de l’information > Gestion de réseaux informatiques et des communications
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

Ceci pourrait également vous intéresser

Wonder Island Boys Roger Thompson Finlay / Livre Livre de poche
common.buy 16.17 €
Top
Lout of Count's Family (Novel) Vol. 1 Yu Ryeo-Han / Livre Livre de poche
common.buy 14.45 €
Abordable
The Legend of Sleepy Hollow Tarot--Headless Horseman Edition LAWYER NICK / Articles imprimés Cartes
common.buy 40.83 €
Capybara Zen Helen H. Wu / Livre Livre de poche
common.buy 7.67 €
Undying Destiny Jessica Lee / Livre audio MP3
common.buy 20.31 €
Taking A Long Look Vivian Gornick / Livre Livre relié
common.buy 21.22 €
The Black Doctor: And Other Tales of Terror and Mystery (1919) Arthur Conan Doyle / Livre Livre de poche
common.buy 30.72 €
Introduction to Nuclear Waste Immobilisation Michael Ojovan / Livre Livre de poche
common.buy 231.60 €
The Itsy Bitsy Spider Flowerpot Press / Livre Livre Concertina
common.buy 9.09 €
Illustrated Guide to Chemistry JEFF GRANT / Livre Livre de poche
common.buy 20.31 €
The Case of The Stolen Case Carl Brookins / Livre Livre de poche
common.buy 13.84 €
Supremacy of Christ Richard McCarrell / Livre Livre de poche
common.buy 8.38 €
Let Me Tell You A Story Rob Parsons / Livre Livre relié
common.buy 17.18 €
Writing for Interaction Linda Newman Lior / Livre Livre de poche
common.buy 43.97 €
Bientôt
Creating Belfast Don McCloy / Livre Livre de poche
common.buy 21.22 €
Euro Crash Brendan Brown / Livre Livre relié
common.buy 114.33 €
Community Identity Sebastian Kim / Livre Livre de poche
common.buy 113.72 €
Cloud Computing for Teaching and Learning Lee Chao / Livre Livre relié
common.buy 191.46 €
British Culture of the Post-War Alastair Davies / Livre Livre de poche
common.buy 61.66 €
Parenting with Presence Susan Stiffelman / Livre Livre de poche
common.buy 13.54 €
Real-Life Distance Education Al P. Mizell / Livre Livre relié
common.buy 126.16 €
Crafty Makes: 51 Things to Make with Paper Plates Fiona Hayes / Livre Livre relié
common.buy 11.51 €
Kaukasus Und Seine Volker. Mit Textabbildungen, Etc. Roderich Von Erckert / Livre Livre de poche
common.buy 30.82 €

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
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?