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

6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods and Software Engineering Jim Davies
Code Libristo: 01560067
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octobre 2004
This book constitutes the refereed proceedings of the 6th International Conference on Formal Enginee... Description détaillée
? points 263 b
107.29 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Elektrotechnische Messkunde Paul Benjamin Arthur Linker / Livre Livre de poche
common.buy 55.29 €
Wischendampfverwertung in Entwicklung, Theorie Und Wirtschaftlichkeit Ernst Reutlinger / Livre Livre de poche
common.buy 55.29 €
Les nègres ont la peau dure Bavarin / Livre Livre de poche
common.buy 30.89 €
Stigmatisierung und sprachliche Gewalt in Goethes Faust I Anja Schäfer / Livre Livre de poche
common.buy 17.95 €
Le Sacré en question / Livre Livre de poche
common.buy 43.99 €
BABADADA black-and-white, latvie?u valoda - Russkij âzyk (Latinskij bukvy), Att?lu v?rdn?ca - Ill?strirovannyj slovar? / Livre Livre de poche
common.buy 8.09 €
Institutionen. Rudolph Sohm / Livre Livre relié
common.buy 129.90 €
Die Walküre Richard Wagner / Livre Livre de poche
common.buy 24.29 €
Listy perskie wyd. 2 Monteskiusz / Livre Livre de poche
common.buy 3.99 €
2 Audio-CDs zum Kursbuch Dr. Michaela Perlmann-Balme / Audio CD Audio
common.buy 29.00 €
Zambullendonos Bartolome Sanchez Sanchez / Livre Livre de poche
common.buy 51.29 €
Timmy Tiptoes (Traditional Chinese): 01 Paperback B&w H. y. Xiao Phd / Livre Livre de poche
common.buy 7.89 €
Menschliche Bewusstsein und der Hypertext - ein Strukturvergleich Anton Freibacher / Livre Livre de poche
common.buy 17.95 €
2012, Das Bewusstsein der Neuen Zeit Lee Carroll / Livre Livre relié
common.buy 19.95 €
Génius i popleta Denise Fenziová / Livre Livre relié
common.buy 9.59 €
Im Angesicht des Verbrechens Dominik Graf / Video Blu-ray
common.buy 27.29 €
Esos Rincones Profundos De Mi Alma Georgina Ma Chahin / Livre Livre de poche
common.buy 13.89 €
Boating Llewelyn Pritchard Ma / Livre Livre de poche
common.buy 12.59 €
Ben Sende Tutuklu Kaldim Güler Bilkay Aygün / Livre Livre de poche
common.buy 14.69 €
El pueblo durmiente REBECCA DAUTREMER / Livre Livre de poche
common.buy 26.99 €
Sen Ancak Sevdiginsin Serdar Özkan / Livre Livre de poche
common.buy 9.59 €

This book constitutes the refereed proceedings of the 6th International Conference on Formal Engineering Methods, ICFEM 2004, held in Seattle, WA, USA in November 2004.§The 30 revised full papers presented together with abstracts of 9 invited contributions were carefully reviewed and selected from 110 submissions. The papers address all current issues in formal methods and their applications in software engineering, ranging from theoretical and methodological aspects to applications in various domains.

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 Jim Davies, Wolfram Schulte, Mike Barnett
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2004
Nombre de pages 500
EAN 9783540238416
ISBN 3540238417
Code Libristo 01560067
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1590
Dimensions 155 x 235 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

Stressed Composite Structures Alexander G. Kolpakov / Livre Livre relié
common.buy 107.29 €
Computer Chemistry Ivar Ugi / Livre Livre de poche
common.buy 53.79 €
Get Out of the Box and Discover Your Life David L Payne D O / Livre Livre relié
common.buy 30.39 €
Man, Minerals and Masters Charles W. Littlefield / Livre Livre de poche
common.buy 25.89 €
They Said What?! Jeff Necessary / Livre Livre de poche
common.buy 21.99 €
Talking to God Thomas L Constable / Livre Livre de poche
common.buy 21.99 €
Fluorescence Imaging and Biological Quantification Raquel Seruca / Livre Livre relié
common.buy 376.29 €
Atlas of Thyroid and Neuroendocrine Tumor Markers Luca Giovanella / Livre Livre relié
common.buy 105.09 €
Remainders to Children as a Class. Walter Murphy / Livre Livre de poche
common.buy 14.89 €
A Middle East American: A Journey through Cultures MR Guy Nagib Tower / Livre Livre de poche
common.buy 11.39 €
The Power of Choices Tracy A. Medling / Livre Livre de poche
common.buy 11.19 €
Black Box Michael Connelly / Livre Livre relié
common.buy 34.59 €
My Fairy Library Daniela Jaglenka Terrazzini / Livre Livre relié
common.buy 17.59 €
New Houses in Asia Publishing Images / Livre Livre relié
common.buy 65.19 €
Facts About The Bible (1898) Angelo Hall / Livre Livre de poche
common.buy 21.99 €
Connect with Calm: Dot-to-Dot Puzzles for Relaxation PUZZLEWRIGHT / Livre Livre de poche
common.buy 11.39 €
O-Ei-A digital 2023 - Alle drei Preisführer zum Sammelgebiet Überraschungsei erstmals digital auf USB-Stick als PDF-Version! André Feiler / Jeu/jouet Jouet
common.buy 37.29 €
Top
Loyal Soldier, Lustful Beast (Light Novel) Saya Shirosaki / Livre Livre de poche
common.buy 15.49 €
Functional Magnetic and Spintronic Nanomaterials Igor Vladymyrskyi / Livre Livre relié
common.buy 171.49 €
In Praise of Slow Carl Honore / Livre Livre de poche
common.buy 11.09 €
Bientôt Nouveauté
Browser Art Daniela Hönigsberg / Livre Livre relié
common.buy 100.99 €
European Renaissance 1400-1600 Robin Kirkpatrick / Livre Livre de poche
common.buy 43.79 €
Andre Breton André Breton / Livre Livre de poche
common.buy 42.39 €
Clinical Problem of Masochism Deanna Holtzman / Livre Livre relié
common.buy 131.89 €

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 ?