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

Formal Methods and Software Engineering

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods and Software Engineering Michael Butler
Code Libristo: 09535572
Éditeurs Springer International Publishing AG, novembre 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... 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é

Max von Schenkendorf E. Heinrich / Livre Livre de poche
common.buy 34.90 €
Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887) Charles Borgeaud / Livre Livre de poche
common.buy 27.89 €
Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček / Livre Livre relié
common.buy 12.49 €
Peche a la lune (La) DUBOIS / Livre Livre de poche
common.buy 9.39 €
LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE / Livre Livre
common.buy 16.59 €
Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA / Livre Livre de poche
common.buy 44.49 €
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Livre Livre de poche
common.buy 24.99 €
Jak přemýšlí náš teenager? Tanith Careyová / Livre Livre de poche
common.buy 18.69 €
Ich und du 5 podręcznik +CD /2012 Marta Kozubska Livre Livre de poche
common.buy 10.39 €
Top
Appuntamento a Positano Goliarda Sapienza / Livre Livre de poche
common.buy 15.19 €
Don Chisciotte in Sicilia Roberto Mandracchia / Livre Livre de poche
common.buy 19.09 €
Biotechs A Schneider / Livre Livre de poche
common.buy 13.99 €
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Livre Livre de poche
common.buy 30.19 €
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Livre Livre de poche
common.buy 15.09 €
Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X / Livre Livre de poche
common.buy 26.09 €
Hunger auf Leben Brigitte Reimann / Livre Livre de poche
common.buy 8.50 €
De ejercicios con sor Isabél de Meester / Livre Livre de poche
common.buy 14.39 €
La Peor Seqora del Mundo Francisco Hinojosa / Livre Livre de poche
common.buy 7.19 €
Cacographie Rangee Dans Un Nouvel Ordre, Ou Exercices Sur l'Orthographe Lequien-E-A / Livre Livre de poche
common.buy 19.09 €
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Livre Livre de poche
common.buy 34.90 €
Herzvibrieren Josie Kju / Livre Livre de poche
common.buy 12.99 €
Speculum Saxonum Ius municipale / Livre Livre relié
common.buy 6.39 €
Auf dass wir klug werden Anja Zimmer / Livre Livre de poche
common.buy 18.00 €
Bientôt
Adolf Hitler Volker Ullrich / Livre Livre relié
common.buy 32.00 €

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

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 Formal Methods and Software Engineering
Auteur Michael Butler, Sylvain Conchon, Fatiha Za?di
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2015
Nombre de pages 436
EAN 9783319254227
ISBN 3319254227
Code Libristo 09535572
Éditeurs Springer International Publishing AG
Poids 6964
Dimensions 155 x 235 x 236

Catégories

Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
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
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

Evolution Driven by Organismal Behavior Rui Diogo / Livre Livre relié
common.buy 35.89 €
Neurobrucellosis Mehmet Turgut / Livre Livre relié
common.buy 105.09 €
Music Theory for Singers Level One SANDVIG / Livre Livre de poche
common.buy 27.29 €
Rival Truths Lindsay St Claire / Livre Livre de poche
common.buy 57.29 €
American Game Fishes; Their Habits, Habitat and Peculiarities; George O. ]. 1846- [From Old C [Shields / Livre Livre relié
common.buy 42.59 €
Tecumseh's Last Stand John Peter Sugden / Livre Livre de poche
common.buy 25.09 €
Asi Se Dice! Level 1a, Student Edition McGraw-Hill Education / Livre Livre relié
common.buy 132.49 €
A California Explorer: Five years contributions to California Explorer Magazine Meade Fischer / Livre Livre de poche
common.buy 11.19 €
Questions and Answers on Bills, Notes, and Checks. E Richard Shipp / Livre Livre de poche
common.buy 15.59 €
The McGregor Chronicles: Book 2 - Escape from Eden Larry K Collins / Livre Livre de poche
common.buy 13.49 €
Top Fermented Vegetable Recipes: A Step-by-Step Guide for Kimchi, Krauts, and Ot Lisa Young / Livre Livre de poche
common.buy 7.99 €
Multi-GHz Frequency Synthesis & Division Hamid R. Rategh / Livre Livre de poche
common.buy 107.29 €
Pearson REVISE 11+ English Practice Book 1 Helen Thomson / Livre Livre de poche
common.buy 14.89 €
Rise of the Necrofauna Britt Wray / Livre Livre de poche
common.buy 16.29 €
The Kama Sutra Vatsyayana / Livre Livre de poche
common.buy 15.39 €
Top
Ritual Baths Deborah Hanekamp / Livre Livre relié
common.buy 24.29 €
Gwendoline's Harvest: A Novel... James Payn / Livre Livre de poche
common.buy 25.69 €
Two Towers John Ronald Reuel Tolkien / Livre Livre de poche
common.buy 14.19 €
Obturating Materials for Decidouos Dentition Deepti Jawa / Livre Livre de poche
common.buy 40.99 €
My Family Puzzle - Country Life Olivia Gibbs / Jeu/jouet Jeu
common.buy 15.89 €
Blood Brothers Beyond Rob J Hayes / Livre Livre relié
common.buy 22.99 €
Voice Biomarkers Shinichi Tokuno / Livre Livre relié
common.buy 136.49 €
Top
The Heroic Legend of Arslan 22 Hiromu Arakawa / Livre Livre de poche
common.buy 9.59 €
Key Concepts in Health Psychology Ian Albery / Livre Livre relié
common.buy 116.79 €

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 ?