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 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Integrated Formal Methods

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Integrated Formal Methods Dominique Méry
Code Libristo: 01656785
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octobre 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... 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é

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Livre Livre de poche
common.buy 19.90 €
Jesus von Nazareth - Die Miniserie, 1 Blu-ray Franco Zeffirelli / Video Blu-ray
common.buy 24.59 €
Bientôt
Netterův vybarvovací anatomický atlas John T. Hansen / Livre Livre de poche
common.buy 22.39 €
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Livre Livre de poche
common.buy 8.89 €
Petite Terreur ou souffre-douleur Stéphane Bourcet / Livre Livre de poche
common.buy 29.29 €
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Livre Livre de poche
common.buy 35.79 €
Potencial de Croacia como destino turístico para el mercado ruso / Livre Livre de poche
common.buy 37.29 €
Het oog der liefde Kent / Livre audio MP3
common.buy 7.49 €
Vežovníček Marta Hlušíková; Alena Wagnerová / Livre Livre relié
common.buy 7.99 €
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Livre Livre de poche
common.buy 21.79 €
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Livre Livre de poche
common.buy 24.59 €
Diamonds Marilyn Monroe / Audio CD Audio
common.buy 10.99 €
Jakobsweg ist uberall Olaf Behrens / Livre Livre de poche
common.buy 16.40 €
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Livre Livre de poche
common.buy 18.90 €
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Livre Livre de poche
common.buy 17.80 €
Oberwallis Roland Nanzer / Livre Livre relié
common.buy 35.99 €
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Livre Livre de poche
common.buy 19.90 €
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Livre Livre de poche
common.buy 17.95 €
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Livre Livre de poche
common.buy 54.99 €
Schumann-Handbuch Ulrich Tadday / Livre Livre relié
common.buy 33.29 €
Die Strafgewalt der Kirche. Wilhelm Rees / Livre Livre de poche
common.buy 99.90 €
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Livre Livre de poche
common.buy 15.09 €
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video Video
common.buy 7.49 €

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

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 Dominique Méry, Stephan Merz
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2010
Nombre de pages 337
EAN 9783642162640
ISBN 3642162649
Code Libristo 01656785
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 528
Dimensions 155 x 235 x 19

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
Informatique et technologies de l’information > Systèmes d’exploitation
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

The French Defeat of 1940: Reassessment Joel Blatt / Livre Livre relié
common.buy 169.19 €
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Livre Livre de poche
common.buy 22.49 €
Alpha Jasinda Wilder / Livre Livre de poche
common.buy 16.99 €
To Duel With the Hands of God James R Elliott / Livre Livre de poche
common.buy 16.09 €
Coffee Table Conversations Tina Divina / Livre Livre de poche
common.buy 20.99 €
Through Thine Eyes - The Spiritually Inspirational Journey of God Moving in My Life: Prayers and Meditations Geraldine Renee' Walker / Livre Livre de poche
common.buy 20.09 €
In Folly's Shade John Welch / Livre Livre de poche
common.buy 17.99 €
Multivariate Statistical Analysis V.I. Serdobolskii / Livre Livre de poche
common.buy 107.29 €
How to Analyze People Ryan James / Livre Livre de poche
common.buy 19.19 €
Asclepius Christopher M. Rutledge / Livre Livre de poche
common.buy 11.59 €
Miscellanies Upon Various Subjects John Aubrey / Livre Livre de poche
common.buy 14.09 €
Knight of the White Cross George Alfred Henty / Livre Livre de poche
common.buy 16.89 €
Urdg 758: Uniform Rules for Demand Guarantees Search and Check Publishers / Livre Livre de poche
common.buy 20.09 €
Demographic Masculinization of China Isabelle Attané / Livre Livre relié
common.buy 53.79 €
Transcending Textuality Ariadna Garcia Bryce / Livre Livre de poche
common.buy 49.29 €

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 ?