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
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 €
phone Contact phoneComment faire ses achats

Integrated Formal Methods

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Integrated Formal Methods Elvira Albert
Code Libristo: 05147795
Éditeurs Springer International Publishing AG, août 2014
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Fo... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Surrender to the Fantasy Magik Markers / Audio CD Audio
common.buy 22.79 €
Studio dell'altezza facciale inferiore Mustapha Amad Neto / Livre Livre de poche
common.buy 22.49 €
Die italienische Plastik Wilhelm Bode / Livre Livre relié
common.buy 123.99 €
Perfektionismus im Schulkontext / Livre Livre de poche
common.buy 17.95 €
Recueil De Contes Populaires Grecs Anonymous / Livre Livre relié
common.buy 35.79 €
Boy's Abyss 11 Nana Umino / Livre Livre de poche
common.buy 8.00 €
Гендер, культура и фукусимская катастрофа / Livre Livre relié
common.buy 24.59 €
Storm Child Fountain / Livre Livre de poche
common.buy 11.50 €
A2 Key for schools Trainer 2 / Livre Livre de poche
common.buy 45.99 €
Mia Moglie mi Tradisce Lara Steele / Livre Livre relié
common.buy 23.49 €
Jetzt sag ich's Waltraut Haas / Livre numérique Adobe ePub DRM
common.buy 20.59 €
Innovatives Regelungs- und Überwachungssystem zur Schadstoffminderung und Effizienzerhöhung in häuslichen Biomasseheizkesseln. Niro Akbary / Livre Livre de poche
common.buy 55.59 €
Dopamin Rowena Kong / Livre Livre de poche
common.buy 39.90 €
POR TIERRAS DE SALAMANCA GRANDE DEL BRIO / Livre Livre relié
common.buy 30.19 €
Tajemství stříbrné klisny Julie Wald / Livre Livre relié
common.buy 9.69 €
Ya soy mayor y puedo ayudar a los demás LOLL KIRBY / Livre Livre de poche
common.buy 18.99 €
Promouvoir une agriculture paysanne, écologique et solidaire en Europe BEDE / Livre Livre de poche
common.buy 14.19 €
Le Triomphe de la méthode Fauchere / Livre Livre relié
common.buy 13.09 €
Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre / Livre Livre de poche
common.buy 16.19 €
Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo / Livre Livre de poche
common.buy 13.49 €
Missa Sancti Amandi, Partitur Joseph Haydn / Articles imprimés Partitions
common.buy 45.29 €
The Grey - Unter Wölfen, 1 Blu-ray Roger Barton / Video Blu-ray
common.buy 13.89 €

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Integrated Formal Methods
Auteur Elvira Albert, Emil Sekerinski
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2014
Nombre de pages 390
EAN 9783319101804
ISBN 3319101803
Code Libristo 05147795
Éditeurs Springer International Publishing AG
Poids 6088
Dimensions 155 x 235 x 22

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
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 > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
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

Solidarity in Health and Social Care in Europe W. Arts / Livre Livre de poche
common.buy 214.29 €
Sins of a Wicked Princess Anna Randol / Livre Livre de poche
common.buy 9.59 €
VOCABULARY SUCCESS B2 FCE SELF STUDY / Livre Livre
common.buy 24.09 €
Practical Spirituality and Human Development Ananta Kumar Giri / Livre Livre relié
common.buy 110.59 €
Facilitator's & Trainer's Toolkit Artie Mahal / Livre Livre de poche
common.buy 24.29 €
Brownies in the Attic S a Parks / Livre Livre de poche
common.buy 9.19 €
Paddling Idaho Greg Stahl / Livre Livre de poche
common.buy 23.79 €
No More Anxiety! Gladeana McMahon / Livre numérique Adobe ePub DRM
common.buy 36.09 €
The Secrets of the Notebook: A Woman's Quest to Uncover Her Royal Family Secret Eve Haas / Livre Livre de poche
common.buy 17.39 €
Analytical QbD Approach for Enhanced Robustness of HPLC Methods Sarwar Beg / Livre Livre de poche
common.buy 33.59 €
Bernard Williams on Law and Jurisprudence Daniel Peixoto Murata / Livre Livre relié
common.buy 138.89 €
Church history: Historia Ecclesiastica or Historia Ecclesiae Eusebius of Caesarea / Livre Livre de poche
common.buy 26.79 €
2 Life's Stories J L Albesa / Livre Livre de poche
common.buy 6.49 €
The Complete Idiot's Guide to Dirty Jokes David Pietras / Livre Livre de poche
common.buy 18.49 €
Abordable
The Incomplete (Updated Edition) Robert Klanten / Livre Livre relié
common.buy 37.59 €
Letters and Papers Illustrative of the Reigns of Richard III and Henry VII James Gairdner / Livre Livre de poche
common.buy 33.59 €
Find Wonder in the Ordinary: A Kid's Book for Adults Bernie Freytag / Livre Livre de poche
common.buy 20.09 €
Lower Secondary Maths Progress Teacher's Guide: Stage 8 Alastair Duncombe / Livre Livre de poche
common.buy 71.29 €
Cursive Alphabet Mike Stewart / Livre Livre de poche
common.buy 10.09 €
Perfect Real Estate Agent Blueprint Robby Trefethren / Livre Livre de poche
common.buy 17.89 €
Empire of Cotton Sven Beckert / Livre Livre de poche
common.buy 14.99 €
Multimedia Modernism Julian Murphet / Livre Livre relié
common.buy 137.89 €
Elementary and Practical Treatise On Bridge Building. Squire Whipple / Livre Livre de poche
common.buy 28.89 €
2nd Chance James Patterson / Livre Livre de poche
common.buy 12.49 €

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 ?