Photo 1 sur 1
Méthodes formelles pour composants et objets : deuxième symposium international, FMCO
État :
3 disponibles
Prix :
49,88 $US
Environ68,65 $C
- Achat immédiatMéthodes formelles pour composants et objets : deuxième symposium international, FMCO
Offre directe :
Expédition :
Lieu : Deltona, Florida, États-Unis
Livraison :
Livraison prévue entre le sam. 22 juin et le mar. 25 juin à 43230
Renvois :
Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois
Paiements :
Magasinez en toute confiance
Informations sur le vendeur
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :303636498759
Dernière mise à jour : mai 24, 2024 23:29:39 HAEAfficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- ISBN
- 9783540229421
- Subject Area
- Computers
- Publication Name
- Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 2003 - Revised Lectures
- Item Length
- 9.3 in
- Publisher
- Springer Berlin / Heidelberg
- Subject
- Software Development & Engineering / General, Computer Science, Logic Design, Compilers
- Publication Year
- 2004
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Width
- 6.1 in
- Item Weight
- 42.3 Oz
- Number of Pages
- VIII, 371 Pages
À propos de ce produit
Product Information
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.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540229426
ISBN-13
9783540229421
eBay Product ID (ePID)
44123383
Product Key Features
Publication Name
Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 2003 - Revised Lectures
Format
Trade Paperback
Language
English
Subject
Software Development & Engineering / General, Computer Science, Logic Design, Compilers
Publication Year
2004
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Subject Area
Computers
Number of Pages
VIII, 371 Pages
Dimensions
Item Length
9.3 in
Item Width
6.1 in
Item Weight
42.3 Oz
Additional Product Features
LCCN
2004-112623
Intended Audience
Scholarly & Professional
Series Volume Number
3188
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.- Machine Function Based Control Code Algebras.- Exploiting Abstraction for Specification Reuse. The Java/C# Case Study.- On the Verification of Cooperating Traffic Agents.- How to Cook a Complete Hoare Logic for Your Pet OO Language.- Behavioural Specification for Hierarchical Object Composition.- Consistency Management within Model-Based Object-Oriented Development of Components.- CommUnity on the Move: Architectures for Distribution and Mobility.- TulaFale: A Security Tool for Web Services.- A Checker for Modal Formulae for Processes with Data.- Semantic Essence of AsmL: Extended Abstract.- An MDA Approach to Tame Component Based Software Development.- An Application of Stream Calculus to Signal Flow Graphs.- Synchronous Closing and Flow Analysis for Model Checking Timed Systems.- Priority Systems.- Preserving Properties under Change.- Tools for Generating and Analyzing Attack Graphs.
Copyright Date
2004
Dewey Decimal
004/.01/51
Dewey Edition
22
Illustrated
Yes
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :303636498759
Dernière mise à jour : mai 24, 2024 23:29:39 HAEAfficher toutes les modificationsAfficher toutes les modifications
Expédition et manutention
Lieu où se trouve l'objet :
Deltona, Florida, États-Unis
Expédition :
Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mexique, Moldavie, Monaco, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Panama, Papouasie-Nouvelle-Guinée, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Vincent-et-les Grenadines, Sainte-Lucie, Salvador, Samoa, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Sri Lanka, Suisse, Suriname, Suède, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, États-Unis, Éthiopie, Île Maurice, Îles Caïmans, Îles Salomon, Îles Turks et Caicos, Îles du Cap-Vert
Lieux exclus :
Barbade, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Polynésie française, Russie, Réunion, Ukraine, Venezuela
| Expédition et manutention | Chaque objet supplémentaire | À | Service | Livraison*Voir les remarques sur la livraison |
|---|---|---|---|---|
| Expédition sans frais | Sans frais | États-Unis | Expédition au tarif économique (USPS Media MailTM) | Livraison prévue entre le sam. 22 juin et le mar. 25 juin à 43230 |
| Délai de manutention |
|---|
| Expédition dans les 2 jours ouvrables après réception du paiement. |
| Taxes |
|---|
| Le vendeur facture une taxe de vente dans |
Taxe de vente pour cet objet (303636498759)
Taxe de vente pour cet objet (303636498759)
Le vendeur facture une taxe de vente pour les États suivants :
| État | Taux de la taxe de vente |
|---|
Modalités de renvoi
| Après réception de l'objet, contactez le vendeur dans un délai de | Mode de remboursement |
|---|---|
| 30 jours | Remboursement |
Les frais d'expédition du renvoi sont à la charge de l'acheteur.
Détails du paiement
Modes de paiement
Catégories populaires de cette Boutique
Évaluations comme vendeur (11 475)
g***5 (1103)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Fast Shipping AAA+++++++++
l***8 (40)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Brochure was in great condition !! Fast shipping ! Thanks !!
i***u (11)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Arrived as advertised, would buy again from this store