Photo 1/1

Vous en avez un à vendre ?

Vendez le vôtre

Introduction à VDM (McGraw-Hill International Series in Softwar-

État :

Bon état

Quantité :

2 disponibles

Prix :

3,15 GBP

Environ3,73 EUR

Pas d'inquiétude ! Retours acceptés.

Livraison :

8,99 GBP (environ 10,65 EUR) Standard. Afficher les détailspour la livraison

Lieu où se trouve l'objet : South East, Royaume-Uni

Délai de livraison :

Estimé entre le mar. 25 juin et le ven. 12 juil. à 43230

Le vendeur envoie l'objet sous 1 jour après réception du paiement.

Retours :

Retour sous 30 jours. L'acheteur paie les frais de retour. Afficher les détails- pour en savoir plus sur les retours

Paiements :

Achetez en toute confiance

Garantie client eBay

Obtenez un remboursement si vous ne recevez pas l'objet que vous avez commandé.

En savoir plusGarantie client eBay - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Détails sur le vendeur

cmedia_group (970172)
99,3 % d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - La page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :134940391209

Dernière mise à jour le 03 juin 2024 05:35:18 Paris. Afficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Bon état: Livre ayant déjà été lu, mais qui est toujours en bon état. La couverture présente des ... Bon état: Livre ayant déjà été lu, mais qui est toujours en bon état. La couverture présente des dommages mineurs, comme des éraflures, mais n'est ni trouée ni déchirée. Pour les couvertures rigides, la jaquette n'est pas nécessairement incluse. La reliure présente des marques d'usure mineures. La majorité des pages sont intactes. Pliures et déchirures mineures. Soulignement de texte mineur au crayon. Aucun surlignement de texte. Aucune note dans les marges. Aucune page manquante. Consulter l'annonce du vendeur pour avoir plus de détails et voir la description des défauts. Afficher toutes les définitions des étatsla page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Book Title: Introduction to VDM (McGraw-Hill International Series in Softwar

ISBN: 9780077074340

Publication Year: 1993

Type: Textbook

Format: Paperback

Language: English

Publication Name: Introduction to Vdm

Item Height: 246mm

Author: Benedict Heal, Mark Woodman

Publisher: Mcgraw-Hill Education

Item Width: 189mm

Subject: Computer Science

Item Weight: 5000g

Number of Pages: 264 Pages

À propos de ce produit

Product Information

Offering a tutorial introduction to the VDM formal notation, this text is designed for second- and third-year undergraduates of software engineering. Using notation that blends together both computing and mathematics, it covers the process of writing formal specification, developing abstract modules of data and operation, and design. Special attention is paid to the difficult topic of operation decomposition. The authors describe specific proof obligations, enabling students to develop their software so that the conformity of the design to the specification, and the program code to the design, is guaranteed. Teaching aims are highlighted at the start of each chapter, and the text is based on the Open University software engineering degree.

Product Identifiers

Publisher

Mcgraw-Hill Education

ISBN-13

9780077074340

eBay Product ID (ePID)

88128762

Product Key Features

Author

Benedict Heal, Mark Woodman

Publication Name

Introduction to Vdm

Format

Paperback

Language

English

Subject

Computer Science

Publication Year

1993

Type

Textbook

Number of Pages

264 Pages

Dimensions

Item Height

246mm

Item Width

189mm

Item Weight

5000g

Additional Product Features

Title_Author

Mark Woodman, Benedict Heal

Series Title

Mcgraw-Hill International Series in Software Engineering

Country/Region of Manufacture

United Kingdom

Description de l'objet fournie par le vendeur

Informations sur le vendeur professionnel

Wrap Ltd.

Mubin Ahmed

Unit 4

119 Loverock Road

Reading

Berkshire

RG30 1DZ

United Kingdom

Afficher les coordonnées

: enohpéléT60358080080

: liam-e esserdAten.aidemnorihc@kuyabe

Numéro de TVA :

GB 724 4981 18

Numéro d'immatriculation de la société :

03800600

Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.

Numéro CRN :

03800600

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :134940391209

Dernière mise à jour le 03 juin 2024 05:35:18 Paris. Afficher toutes les modificationsAfficher toutes les modifications

Livraison et expédition

Lieu où se trouve l'objet :

South East, Royaume-Uni

Destination :

Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Bahamas, Bahreïn, Barbade, Belgique, Belize, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brésil, Bulgarie, Burkina Faso, Burundi, Bénin, Cambodge, Cameroun, Cap-Vert, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Croatie, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Finlande, France, Gabon, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guadeloupe, Guam, Guatemala, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Guyane, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jordanie, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Liberia, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Mali, Malte, Maroc, Martinique, Maurice, Mauritanie, Mayotte, Mexique, Micronésie, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Namibie, Nicaragua, Niger, Niue, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Palaos, Panama, Papouasie-Nouvelle-Guinée, Paraguay, Pays-Bas, Philippines, Pologne, Polynésie française, Porto Rico, Portugal, Pérou, Qatar, Roumanie, République centrafricaine, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Réunion, Sahara occidental, Saint-Christophe-et-Niévès, Saint-Marin, Saint-Vincent-et-les-Grenadines, Sainte-Hélène, Sainte-Lucie, Samoa américaines, Samoa occidentales, Serbie, Sierra Leone, Singapour, Slovaque, Slovénie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Vanuatu, Vatican, Venezuela, Wallis-et-Futuna, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, États-Unis, Éthiopie, Îles Caïmans, Îles Cook, Îles Malouines, Îles Marshall, Îles Salomon, Îles Turques-et-Caïques, Îles Vierges britanniques, Îles Vierges des États-Unis

Exclus :

Afghanistan, Libye, Nauru, Russie, Somalie, Ukraine, Yémen

Quantité :

Changer de pays :

Livraison et expédition	Chaque objet supplémentaire	à	Service	Livraison*Afficher les instructions de livraison
8,99 GBP (environ 10,65 EUR)	8,99 GBP (environ 10,65 EUR)	États-Unis	Standard (Standard Int'l Postage)	Estimé entre le mar. 25 juin et le ven. 12 juil. à 43230 Le vendeur envoie l'objet sous 1 jour après réception du paiement.

*Les dates de livraison estimées - la page s'ouvre dans une nouvelle fenêtre ou un nouvel onglet prennent en compte le délai d'expédition indiqué par le vendeur, le code postal de l'expéditeur, le code postal du destinataire et la date d'acceptation de l'offre. Elles dépendent du service de livraison sélectionné et de la date de réception du paiement. Les délais de livraison peuvent varier, notamment pendant les périodes de pointe.Instructions de livraison *Les dates de livraison estimées prennent en compte le délai d'expédition indiqué par le vendeur, le code postal de l'expéditeur, le code postal du destinataire et la date d'acceptation de l'offre. Elles dépendent du service de livraison sélectionné et de la date de réception du paiement. Les délais de livraison peuvent varier, notamment pendant les périodes de pointe.

Délai d'expédition

Envoi sous 1 jour ouvré après réception du paiement.

Taxes

Des taxes pourront être appliquées lors de la finalisation de l'achat. En savoir plusEn savoir plus sur le paiement des taxes sur les achats eBay

Taxe de vente pour l'objet n°134940391209

Le vendeur facture une taxe de vente pour les États suivants :

État	Taux de la taxe de vente

* La taxe s'applique au sous-total + frais de livraison et d'expédition pour ces États uniquement

Conditions de retour

Une fois l'objet reçu, contactez le vendeur dans un délai de	Frais de retour
30 jours	L'acheteur paie les frais de retour

Cliquez iciici pour en savoir plus sur les retours. Pour les transactions répondant aux conditions requises, vous êtes couvert par la Garantie client eBay si l'objet que vous avez reçu ne correspond pas à la description fournie dans l'annonce.

L'acheteur doit payer les frais de retour.

Détails des conditions de retour
Retours acceptés

Détails du paiement

Modes de paiement

Remarque : il se peut que certains modes de paiement ne soient pas disponibles lors de la finalisation de l'achat en raison de l'évaluation des risques associés à l'acheteur.