Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

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

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.49 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Livraison gratuite à partir de 69.99 euros.

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656973
Price: 115.83 EUR
Availability: InStock
Author: Jin Song Dong
ISBN: 9783642169007

12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Jin Song Dong

Huibiao Zhu

Langue

Anglais

Livre Livre de poche

Code Libristo: 01656973

Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octobre 2010

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engine... Description détaillée

Code Libristo: 01656973

280 b

115.83 €

Stockage externe Expédition sous 9-15 jours

Politique de retour sous 30 jours

Les clients ont également acheté

Le Mont-Saint-Michel -Neerlandais- Henry Decaens

Livre de poche

12.55 €

Andre Cornelis M Paul Bourget

Livre de poche

12.65 €

LEURO COMMENT LA MONNAIE UNIQUE MENACE LAVENIR DE LEUROPE JOSEPH E STIGLITZ

Livre

53.86 €

Encrucijada Rodolfo Martinez

Adobe ePub DRM

3.84 €

Moja kaligrafia Cyferki Dorota Krassowska

Livre de poche

1.61 €

Moluk Bilibo Balance- und Spielschale lila

Jouet

34.12 €

Wild Julia Ruby Hildebrand

Livre relié

21.66 €

Bilder des Kaisers von Deutschland Bernd Schubert

Livre de poche

71.28 €

Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler

Livre de poche

28.34 €

Heidejagd Angela L. Forster

Livre de poche

11.94 €

Über die Anwendung der vertikalen Extension bei der Behandlung von Oberschenkelfrakturen rachitischer Kinder Wilhelm Stoeltzner

Livre de poche

12.65 €

AutoCAD Fur Die Haustechnik Olaf Schymura

Livre de poche

51.94 €

Dinosaury

Livre Concertina

9.41 €

Non-controlling minority shareholdings under eu competition law ( MIGUEL VERDEGUER SAGARRA

Livre

57.20 €

Filosofía de la ciencia HERCE FERNANDEZ

Livre de poche

15.18 €

Potential von Poetry Slam fur den Literaturunterricht. Analyse zweier Texte von Bas Boettcher und Nora Gomringer Vanessa Ewald

Livre de poche

38.37 €

Sobre el estudio de la historia. y los Apéndices de la Historia de Inglaterra Hume

Livre de poche

13.15 €

Sol rojo sobre Hiroshima Mario Escobar Golderos

Livre de poche

28.04 €

This book constitutes the refereed proceedings of the 12th International§Conference on Formal Engineering Methods, ICFEM 2010, held in Shanghai, China, November 2010.§The 42 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 114 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on theorem proving and decision procedures, web services and workflow, verification, applications of formal methods, probability and concurrency, program analysis, model checking, object orientation and model driven engineering, as well as specification and verification.