[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Formal Methods and Software Engineering

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods and Software Engineering Shaoying Liu
Code Libristo: 01570773
Éditeurs Springer, Berlin, novembre 2007
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Grenzen, Nähe, Respekt Jesper Juul / Livre de poche
common.buy 10.70 €
Microelectronics Education Ton J. Mouthaan / Livre relié
common.buy 123.09 €
Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim / Livre de poche
common.buy 80.18 €
Programmieren Lernen Peter Pepper / Livre de poche
common.buy 53.51 €
Richterrecht und Verfassung. Jörn Ipsen / Livre de poche
common.buy 64.12 €
Statistical Analysis of Environmental Space-Time Processes Nhu D. Le / Livre de poche
common.buy 206.48 €
Orienting Polymers J.-L. Ericksen / Livre de poche
common.buy 49.98 €
NUMIFORM 2010 Frederic Barlat / Livre de poche
common.buy 518.19 €

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

À propos du livre

Nom complet Formal Methods and Software Engineering
Auteur Shaoying Liu, Tom Maibaum, Keijiro Araki
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2008
Nombre de pages 397
EAN 9783540881933
ISBN 354088193X
Code Libristo 01570773
Éditeurs Springer, Berlin
Poids 635
Dimensions 155 x 235 x 21

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 > Informatique théorique
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

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