[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 Karin Breitman
Code Libristo: 01655066
Éditeurs Springer, Berlin, octobre 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Description détaillée
? points 317 b
134.22 € 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

Pippi Longstocking Astrid Lindgren / Livre de poche
common.buy 11.34 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / Livre de poche
common.buy 11.23 €
Aggressiv Flirten Michael Wiesner / Livre de poche
common.buy 15.95 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Livre relié
common.buy 40.02 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Livre de poche
common.buy 58.86 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Livre de poche
common.buy 47.62 €
Financial Reform in Central and Eastern Europe Zdenek Drabek / Livre relié
common.buy 206.48 €
Grenzen gestalten, Bildbar-KartenSet. Tl.2 Margit Kühne-Eisendle / Feuille
common.buy 42.71 €
Grundformen der Angst Fritz Riemann / Livre relié
common.buy 24.51 €
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Livre relié
common.buy 52.98 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Livre de poche
common.buy 96.23 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Livre de poche
common.buy 22.37 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Livre de poche
common.buy 18.83 €
State Crisis in Fragile Democracies Samuel Handlin / Livre de poche
common.buy 51.05 €
Lonely Dead Michael Marshall / Livre de poche
common.buy 12.83 €

This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.§The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.

À propos du livre

Nom complet Formal Methods and Software Engineering
Auteur Karin Breitman, Ana Cavalcanti
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2009
Nombre de pages 757
EAN 9783642103728
ISBN 3642103723
Code Libristo 01655066
Éditeurs Springer, Berlin
Poids 1169
Dimensions 155 x 235 x 30

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