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 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

Formal Methods and Software Engineering

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

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 222 b
90.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Livre Livre de poche
common.buy 14.69 €
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Livre Livre de poche
common.buy 12.69 €
Mapa National Portugal, Madeira 2021 / Livre binding.
common.buy 10.29 €
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Livre Livre de poche
common.buy 8.19 €
L'enfant du mistral Jean-Michel Thibaux / Livre Livre de poche
common.buy 7.59 €
Régression avec Python Rouvière / Livre Livre de poche
common.buy 33.49 €
Witold Gombrowicz entre l'Europe et l'Amérique Livre Livre de poche
common.buy 22.39 €
Pays natal Dhotel / Livre Livre de poche
common.buy 11.59 €
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Livre Livre de poche
common.buy 46.89 €
Grundlagen des Zeichnens John Ruskin / Livre Livre relié
common.buy 25.00 €
Estudo da influencia do tempo e temperatura no forneamentodebiscoitos Rennan Correia / Livre Livre de poche
common.buy 31.09 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / Livre Livre de poche
common.buy 9.79 €
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Livre Livre de poche
common.buy 76.00 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Livre Livre de poche
common.buy 20.90 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Livre Livre de poche
common.buy 36.29 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Livre Livre de poche
common.buy 16.09 €
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Livre Livre de poche
common.buy 21.49 €
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Livre Livre de poche
common.buy 16.99 €
Aggressiv Flirten Michael Wiesner / Livre Livre de poche
common.buy 14.90 €
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Livre Livre relié
common.buy 17.99 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Livre Livre de poche
common.buy 54.99 €
Grundformen der Angst Fritz Riemann / Livre Livre relié
common.buy 22.90 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Livre Livre de poche
common.buy 99.90 €

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.

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 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

Ceci pourrait également vous intéresser

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Livre Livre de poche
common.buy 57.69 €
Julissa's Reading Log Martha Day Zschock / Livre Livre relié
common.buy 12.69 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Livre Livre relié
common.buy 31.19 €
Formal Jewelry Karen McKenna / Livre Livre de poche
common.buy 6.79 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Livre Livre de poche
common.buy 22.79 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Livre Livre relié
common.buy 20.29 €
Winter of Ice and Iron Rachel Neumeier / Livre Livre de poche
common.buy 11.49 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Livre Livre de poche
common.buy 5.29 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Livre Livre de poche
common.buy 7.19 €
Hydrogeology Dassargues / Livre Livre relié
common.buy 103.09 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Livre Livre relié
common.buy 150.39 €
Ethical and Professional Issues in Nursing W Tadd / Livre Livre de poche
common.buy 52.09 €
Resurrecting Artwork MCGUIRE / Livre Livre de poche
common.buy 10.69 €
Business Result: Elementary: Class Audio CD David Grant / Audio CD Audio
common.buy 16.99 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Livre Livre de poche
common.buy 6.89 €
State Crisis in Fragile Democracies Samuel Handlin / Livre Livre de poche
common.buy 40.99 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Livre Livre relié
common.buy 87.49 €
Understanding Gangs and Gang Violence in America MORALES / Livre Livre de poche
common.buy 107.59 €
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Livre Livre de poche
common.buy 11.29 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Livre Livre de poche
common.buy 31.29 €
Drum Play-Along Hal Leonard Corp / Livre Livre de poche
common.buy 13.79 €
Lonely Dead Michael Marshall / Livre Livre de poche
common.buy 14.99 €
Mukiwa Peter Godwin / Livre Livre de poche
common.buy 10.09 €
Something Rotten Jasper Fforde / Livre Livre de poche
common.buy 8.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