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.

Formal Methods and Software Engineering

7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods and Software Engineering Kung-Kiu Lau
Code Libristo: 01561356
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octobre 2005
This book constitutes the refereed proceedings of the 7th International Conference on Formal Enginee... Description détaillée
? points 125 b
51.54 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Základy chirurgie Jiří Valenta / Livre Livre relié
common.buy 23.90 €
La Cuisine Classique: Etudes Pratiques, Raisonnees Et Demonstratives Urbain DuBois / Livre Livre de poche
common.buy 27.13 €
Bientôt
Entdecke die Zugvögel Thomas Schmidt / Livre Livre relié
common.buy 14.21 €
Brotaufstriche selbst gemacht Martina Kittler / Livre Livre relié
common.buy 13.51 €
Japanisches Management in Internationalen Unternehmen Daniel Dirks / Livre Livre de poche
common.buy 47.10 €
Le lien du sang Tome 1 - Partie 1 Lamarre / Livre Livre de poche
common.buy 21.68 €

This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005.§The 30 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 74 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, communication, development, testing, verification, and tools.

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 Formal Methods and Software Engineering
Auteur Kung-Kiu Lau, Richard Banach
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2005
Nombre de pages 502
EAN 9783540297970
ISBN 3540297979
Code Libristo 01561356
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1580
Dimensions 216 x 279 x 28

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 > 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

Adaptive Web Peter Brusilovsky / Livre Livre de poche
common.buy 58.30 €
Speed Vegan Alan Roettinger / Livre Livre de poche
common.buy 18.05 €
General Circulation of the Ocean Henry Abarbanel / Livre Livre de poche
common.buy 102.69 €
The Devil in Oxford Jess Armstrong / Livre Livre relié
common.buy 23.29 €
Greenhouse Construction: A Complete Manual on the Building, Heating, Ventilating and Arrangement of Greenhouses, and the Construction of Hotbed L R. b. 1859 Taft / Livre Livre de poche
common.buy 21.18 €
Rituals to Observe Ethan Laughman / Livre numérique Adobe ePub DRM
common.buy 34.39 €
Eat It! Jordan Syatt / Livre audio MP3
common.buy 11.79 €
Les Populations Dangereuses et les Misr?es Sociales Paul Cere / Livre Livre de poche
common.buy 25.01 €
Psychiatry, America's Holocaust Clover Greene / Livre Livre de poche
common.buy 12.80 €
Apropos Of Women And Theatres, With A Paper Or Two On Parisian Topics (1869) Olive Logan / Livre Livre de poche
common.buy 26.83 €
Writing Off the Hyphen Torres-Padilla / Livre Livre relié
common.buy 123.47 €
Styles and Strategies for Teaching Middle School Mathematics Edward J. Thomas / Livre Livre de poche
common.buy 35.40 €
Iliad by Homer, Classics, Literary Criticism, Ancient and Classical, Poetry, Ancient, Classical & Medieval Homer / Livre Livre de poche
common.buy 31.47 €
Design and Technology for Botswana James E. GarrattOlefile B. Molwane / Livre Livre de poche
common.buy 47.20 €
Logical Foundations of Statistical Inference Henry E. Kyburg Jr. / Livre Livre de poche
common.buy 153.94 €
Public Finance, Monetary Policy and Market Issues Edward Shinnick / Livre Livre de poche
common.buy 69.90 €

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