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

Formal Methods for Components and Objects

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods for Components and Objects Frank S. de Boer
Code Libristo: 01559742
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octobre 2004
Formal methods have been applied successfully to the verification of medium-sized programs in protoc... Description détaillée
? points 132 b
53.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é

Business Integration Mit Sap-Loesungen Andreas Hufgard / Livre Livre relié
common.buy 81.49 €
UEberschuldungsstatus und die Rolle kapitalersetzender Darlehen Philip Eugen Deubner / Livre Livre de poche
common.buy 18.95 €
PARAJA MOHANTY / Livre Livre de poche
common.buy 28.49 €
Apprendre l'Occitan, promouvoir le <i>Patrimoine</i> RAYNAUD / Livre Livre de poche
common.buy 29.29 €
Top
Az eredeti alacsony FODMAP- étrend Dr. Sue Shepherd / Livre Livre de poche
common.buy 18.09 €
Shiloh Dusty Rhodes Livre audio MP3
common.buy 26.29 €
Paul Johann Anselm Feuerbach Gustav Radbruch / Livre Livre de poche
common.buy 55.29 €
Ghost Robert Harris / Livre Livre de poche
common.buy 13.00 €
Grundzüge einer Dogmatik der Straftatbestände zum Schutz von Verwaltungsrecht oder Verwaltungshandeln. Michael Heghmanns / Livre Livre de poche
common.buy 89.90 €
Schneewittchen und die sieben Zwerge Iain Botterill / Livre Livre relié
common.buy 23.95 €
Chytré karty - Anglličtina výukový kalendář / Livre Reliure à anneaux
common.buy 8.39 €
Gra Assassins Creed Brotherhood of Venice / Livre binding.
common.buy 130.39 €
Eficacia de la coordinación de la ayuda: percepción de los operadores de ayuda / Livre Livre de poche
common.buy 46.59 €
NOWE Oblicza geografii 2. Liceum i technikum. Podręcznik. Zakres rozszerzony. Nowość 2025 Tomasz Rachwał / Livre Livre de poche
common.buy 19.29 €
Puzzle 1000 CherryPazzi Her Majesty 31292 / Jeu/jouet Puzzle
common.buy 9.29 €
Grundlagen des Ertragsteuerrechts Marina Wilgen / Livre Livre de poche
common.buy 27.95 €
&#536;tiin&#538;a Revolu&#538;iei Autentice &#536;i Pa&#536;nice Stefan Dumitrescu / Livre Livre de poche
common.buy 46.59 €
¿JUGAMOS AL ESCONDITE? EN EL MAR LODGE / Livre Livre de poche
common.buy 14.09 €
Aventures sonores / Livre Livre relié
common.buy 6.59 €
SUITE 1600 CONCERT BAND/HARMONIE/FANFARE/ENSEMBLE DE CUIVRES JOHANN CHRISTOPH PEZ Livre binding.
common.buy 24.19 €
Bons baisers de l'île Legrand / Livre Livre de poche
common.buy 14.19 €
Poche Visuel Word Excel PowerPoint Access Outlook 2010 Maxi volume Kate Shoup / Livre Livre de poche
common.buy 25.99 €
Lexikologie und ihre Moeglichkeiten zur Strukturierung des Wortschatzes Claudia Fallmann / Livre Livre de poche
common.buy 17.95 €
Edificar una iglesia de bautizados : 50 claves Calvo Pérez / Livre Livre de poche
common.buy 18.19 €

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability.This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

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 for Components and Objects
Auteur Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2004
Nombre de pages 371
EAN 9783540229421
ISBN 3540229426
Code Libristo 01559742
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1200
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 > Informatique > Architecture informatique et conception logique
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

Solanaceae and Convolvulaceae: Secondary Metabolites Eckart Eich / Livre Livre relié
common.buy 353.49 €
Popol Vuh: The Mythic and Heroic Sagas of the Kiches of Central America Lewis Spence / Livre Livre de poche
common.buy 22.99 €
The Predictive Airliner: A Blueprint for Aviation's 2nd Century MR Andrew W Pearson / Livre Livre de poche
common.buy 15.79 €
Narratives, Routes and Intersections in Pre-Modern Asia Radhika Seshan / Livre Livre de poche
common.buy 65.49 €
History of the World in 21 Women Jenni Murray / Livre Livre de poche
common.buy 11.09 €
Ending Homelessness? Eoin O'Sullivan / Livre Livre relié
common.buy 120.99 €
Word Is Near You PETER M. B ROBINSON / Livre Livre de poche
common.buy 14.99 €
Adela's Dilemma ***Large Print Edition***: The Royals of Abrifae Victoria Hart / Livre Livre de poche
common.buy 18.79 €
Transform Silos to Pillars: Moving from Hate to Help David Porter / Livre Livre de poche
common.buy 15.39 €
CHRISTIAN WAY OF LIFE Applying God's Word More Fully (October 2014) Edward D Andrews / Livre Livre de poche
common.buy 12.59 €
The Life of Lyman Trumbull Horace White / Livre Livre de poche
common.buy 10.69 €
The Language of Heresy in Late Medieval English Literature Erin K. Wagner / Livre Livre relié
common.buy 145.69 €
In Their Own Words: First Person Narratives from The Book of Genesis Dustin A Largent / Livre Livre de poche
common.buy 10.69 €
Close to Home Jeremy Asher / Livre Livre de poche
common.buy 10.69 €
Promise of Moonstone Mrs Pat Engebrecht / Livre Livre de poche
common.buy 10.29 €
Universal Dictionary of the Marine William Falconer / Livre Livre de poche
common.buy 28.99 €
Value Creation through Engineering Excellence Yufeng Zhang / Livre Livre relié
common.buy 176.79 €
Lady Jayne Disappears Joanna Davidson Politano / Livre Livre de poche
common.buy 20.09 €
Critical, Historical, and Explanatory Notes on Shakespeare Zachary Grey / Livre Livre relié
common.buy 39.69 €
Yellowstone, The; 1954 Rocky Mountain College / Livre Livre de poche
common.buy 17.09 €
Mind of Everyday Petraq Papajorgji / Livre numérique Adobe ePub DRM
common.buy 180.09 €
Impacts of plant protection products on biodiversity and ecosystem services Sanchez / Livre Livre
common.buy 37.99 €
Hellion Arianna Fraser / Livre Livre de poche
common.buy 14.19 €
How NOT to Murder your ADHD Kid Sarah Templeton / Livre Livre de poche
common.buy 29.09 €

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 ?