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

Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods and Software Engineering Michael Butler
Code Libristo: 01569538
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, novembre 2007
This book constitutes the refereed proceedings of the 9th International Conference on Formal Enginee... Description détaillée
? points 148 b
60.39 € TVA incluse
Stockage externe en petites quantités Expédition sous 13-18 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

LA ESPAÑA DE ABEL AURORA NACARINO-BRABO / Livre Livre de poche
common.buy 21.99 €
Anthropozän - Klimawandel - Biodiversität Stascha Rohmer / Livre Livre relié
common.buy 36.39 €
Fados huérfanos / Livre Livre de poche
common.buy 20.39 €
Kognitive Entwicklung nach Jean Piaget Sina Klar / Livre Livre de poche
common.buy 15.95 €
Bébé Balthazar - Tout propre - Pédagogie Montessori 0/3 ans Marie-Hélène Place / Livre Livre
common.buy 10.69 €
MUSEO CERRALBO GUIA BREVE NE / Livre Livre de poche
common.buy 4.79 €
Analyse de fragilité d'un bâtiment isolé de la base Husain Rangwala / Livre Livre de poche
common.buy 56.79 €
Pierwsza szopka Fulvia Degl’Innocenti / Livre Livre relié
common.buy 5.09 €

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections.

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, Michael G. Hinchey, Maria M. Larrondo-Petrie
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2007
Nombre de pages 387
EAN 9783540766483
ISBN 3540766480
Code Libristo 01569538
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 611
Dimensions 155 x 235 x 23

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

The World's Greatest Submarines David Frost / Livre Livre relié
common.buy 24.29 €
Louisa Wharton. A story founded on facts: written by herself, in a series of letters to a friend. ... Louisa Wharton / Livre Livre de poche
common.buy 14.89 €
Content-Based Image and Video Retrieval Oge Marques / Livre Livre relié
common.buy 160.89 €
New England Conservatory Course in Sight-singing: (Solfeggio) Samuel W. (Samuel Winkley) 184 Cole / Livre Livre relié
common.buy 32.79 €
Taxation of Land Values in Western Canada (1914) Archibald Stalker / Livre Livre de poche
common.buy 19.99 €
Of Ice and Shadows Audrey Coulthurst / Livre Livre relié
common.buy 15.19 €
Highland Fortitude Angela Polidoro / Livre Livre de poche
common.buy 13.59 €
Report of the Committee Appointed to Examine Into the Rise, Progress, and Present State of the Society of Artists of the United States, Read April 15, George Murray / Livre Livre de poche
common.buy 12.49 €
Disney Tunes Hal Leonard Corp / Livre Livre de poche
common.buy 12.39 €
Tales from the New River - Cockney Sparrow Corner Tommy Kearney / Livre Livre de poche
common.buy 11.69 €
Tribes of the Northern Territories of the Gold Coast Madeline Manoukian / Livre Livre relié
common.buy 198.19 €
Vincenzo's Reading Log Martha Day Zschock / Livre Livre relié
common.buy 16.49 €
Foundations of Digital Signal Processing Patrick Gaydecki / Livre Livre relié
common.buy 115.09 €
In Flanders Fields and Other Poems John McCrae / Livre Livre de poche
common.buy 16.09 €
Information Security Mike Burmester / Livre Livre de poche
common.buy 60.49 €
War Girls Adele Geras / Livre Livre de poche
common.buy 10.29 €
Evolutionary Pathways in Nature John C Avise / Livre Livre de poche
common.buy 90.79 €
Computer Graphics and Applications S. Y. Shin / Livre Livre relié
common.buy 161.59 €
Laser Modeling Mark Steven Csele / Livre Livre relié
common.buy 318.19 €
Multivariable Calculus Lawrence J. Corwin / Livre Livre relié
common.buy 195.39 €
Philosophical Moments Eric Collins / Livre Livre de poche
common.buy 11.19 €
Quiet River's Demise Gabriel Zeldis / Livre Livre de poche
common.buy 11.19 €
Choose Life Denice D Cook M D / Livre Livre de poche
common.buy 16.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 ?