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 6.49 € Point Bpost 8.49 € Bpost 7.99 € Point DPD 3.99 € Service de messagerie GLS 5.49 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Formal Methods and Software Engineering

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods and Software Engineering Jin Song Dong
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
? points 288 b
117.98 €
Stockage externe en petites quantités Expédition sous 9-13 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Spekulatius, der Weihnachtsdrache. Abenteuer auf der Weihnachtsinsel Tobias Goldfarb / Livre Livre relié
common.buy 11.83 €
Encrucijada Rodolfo Martinez / Livre numérique Adobe ePub DRM
common.buy 4.10 €
Moluk Bilibo Balance- und Spielschale lila / Jeu/jouet Jouet
common.buy 33.50 €
Posadnutosť Cassandra O'Donnell / Livre Livre de poche
common.buy 16.04 €
Wild Julia Ruby Hildebrand / Livre Livre relié
common.buy 21.46 €
Le Mont-Saint-Michel -Neerlandais- Henry Decaens / Livre Livre de poche
common.buy 11.23 €
Strada facendo Italien Cahier d'activités 2de LVB A2>A2+ Marina Ferdeghini / Livre Livre de poche
common.buy 12.33 €
Mon premier livre sonore Stella Baggott / Livre Livre relié
common.buy 12.33 €
Dinosaury / Livre Livre Concertina
common.buy 9.32 €
Sette giorni Andrew Grey / Livre Livre de poche
common.buy 10.52 €
Moja kaligrafia Cyferki Dorota Krassowska / Livre Livre de poche
common.buy 1.90 €
Robert Musil Joseph P. Strelka / Livre Livre de poche
common.buy 72.33 €
Top
Miss Ich-Bin-Nicht-Verliebt Saskia Louis / Livre Livre de poche
common.buy 13.43 €
Memoria et damnatio memoriae ve středověku Paweł Kras / Livre Livre de poche
common.buy 5.21 €
Potential von Poetry Slam fur den Literaturunterricht. Analyse zweier Texte von Bas Boettcher und Nora Gomringer Vanessa Ewald / Livre Livre de poche
common.buy 38.01 €
Kostenrechnung 1 - Grundlagen Klaus-Dieter Däumler / Livre Livre de poche
common.buy 31.69 €
Consumo de Drogas en estudiantes universitarios Luis Santiago Espinoza Paul / Livre Livre de poche
common.buy 140.65 €

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.

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 Jin Song Dong, Huibiao Zhu
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2010
Nombre de pages 712
EAN 9783642169007
ISBN 3642169007
Code Libristo 01656973
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1024
Dimensions 158 x 242 x 28

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 > Systèmes d’exploitation
Informatique et technologies de l’information > Informatique
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

Service-Oriented Computing - ICSOC Workshops 2012 Aditya Ghose / Livre Livre de poche
common.buy 51.26 €
Advances in Cryptology - ASIACRYPT 2015 Tetsu Iwata / Livre Livre de poche
common.buy 51.26 €
Top
Acrylics Adrian Burrows / Livre Livre de poche
common.buy 11.73 €
Savannah Goes To Paris Cheryl Pryor / Livre Livre de poche
common.buy 12.33 €
Acropolis STANISLA WYSPIANSKI / Livre Livre
common.buy 30.29 €
After the Funeral: B2 (Collins Agatha Christie ELT Readers) Agatha Christie / Livre audio MP3
common.buy 12.13 €
Top
Native American Style Seed Bead Jewelry. Part I. Bracelets Artium Studia / Livre Livre de poche
common.buy 17.15 €
Bloom: Best Arizona Teen Writing of 2014 Young Authors of Arizona / Livre Livre de poche
common.buy 15.04 €
An Epitome of the Law Affecting Marine Insurance. Lawrence Duckworth / Livre Livre de poche
common.buy 18.15 €
CompTIA A+(R) Certification Practice Exams, Second Edition (Exams 220-801 & 220-802) James Pyles / Livre numérique Adobe ePub DRM
common.buy 31.99 €
TEACHERS MANUAL FOR THE 1ST RE Montrose J. Moses / Livre Livre relié
common.buy 34.10 €
Sports Coaching Cultures Kathleen M. Armour / Livre numérique Adobe ePub DRM
common.buy 91.19 €
400 classic Killer sudoku 9 x 9 VERY HARD + BONUS 250 Hidoku puzzles: Sudoku with VERY HARD levels puzzles and a Hidoku 9 x 9 very hard levels Basford Holmes / Livre Livre de poche
common.buy 10.52 €
Top
New Sogang Korean 1A Workbook Song-hee Kim / Livre Livre de poche
common.buy 17.85 €
Let's Talk About: Sharing the Gospel Robert Bowen / Livre numérique Adobe ePub DRM
common.buy 4.50 €
The Light of Stars Phyllis Glowatsky / Livre Livre relié
common.buy 18.85 €
What Labs Love Ed Camelli / Livre Livre relié
common.buy 22.76 €
Tami's Pocket Posh Journal, Chevron Andrews McMeel Publishing / Livre Livre de poche
common.buy 7.82 €
Death at the Member-Guest James Y. Bartlett / Livre Livre de poche
common.buy 20.66 €
Marcel Duchamp Marcel Duchamp / Livre Livre relié
common.buy 111.05 €
Practical Python Security Dennis Byrne / Livre Livre de poche
common.buy 66.91 €
Bientôt
Clinical Oncology Venkata Koyyala / Livre Livre de poche
common.buy 37.51 €
Field Research in Africa An Ansoms / Livre Livre de poche
common.buy 34.70 €
Top
Less is More Jason Hickel / Livre Livre de poche
common.buy 11.83 €

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 ?