Photo 1 sur 1

Vous en avez un à vendre?

Vendez le vôtre

Introduction à VDM (McGraw-Hill International Series in Softwar

État :

Bon

Quantité :

2 disponibles

Prix :

3,15 GBP

Environ5,50 $C

Ayez l'esprit tranquille. Renvois acceptés.

Expédition :

8,99 GBP (environ 15,68 $C) Expédition standard. En savoir plussur l'expédition

Les objets provenant de l'étranger pourraient faire l'objet de frais d'administration douanière et de frais supplémentaires.

Lieu : South East, Royaume-Uni

Livraison :

Livraison prévue entre le mer. 26 juin et le lun. 15 juil. à 43230

Le vendeur expédie l'objet dans un délai de 1 jour après réception du paiement.

Veuillez prévoir un délai supplémentaire si la livraison internationale est assujettie à des formalités douanières.

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

Garantie de remboursement eBay

Recevez l'objet commandé ou obtenez un remboursement.

En savoir plusGarantie de remboursement eBay - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Informations sur le vendeur

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

Inscrit comme vendeur professionnel

Signaler cet objet - 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 : juin 02, 2024 23:35:18 HAEAfficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Bon: Un livre qui a été lu, mais qui est en bon état. La couverture présente des dommages infimes, ... Bon: Un livre qui a été lu, mais qui est en bon état. La couverture présente des dommages infimes, par exemple des éraflures, mais aucun trou ni aucune déchirure. Dans le cas des livres à reliure, la jaquette peut ne pas être incluse. La reliure présente des traces d'usure minimes. La plupart des pages ne sont pas endommagées et les plis, les déchirures, les passages soulignés ou surlignés et les inscriptions en marge sont minimes. Il n'y a aucune page manquante. Afficher toutes les définitions d'état(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 du vendeur

Informations sur le vendeur professionnel

Numéro de TVA :

GB 724 4981 18

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

Numéro de l'objet eBay :134940391209

Dernière mise à jour : juin 02, 2024 23:35:18 HAEAfficher toutes les modificationsAfficher toutes les modifications

Expédition et manutention

Lieu où se trouve l'objet :

South East, Royaume-Uni

Expédition :

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, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guadeloupe, Guam, Guatemala, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Guyane française, 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, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Mali, Malte, Maroc, Martinique, Mauritanie, Mayotte, Mexique, Micronésie, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Namibie, Nicaragua, Niger, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Palau, 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 de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Réunion, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Samoa, Samoa américaines, 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, Venezuela, Wallis-et-Futuna, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, États-Unis, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Marshall, Îles Salomon, Îles Turks et Caicos, Îles Vierges (États-Unis), Îles Vierges britanniques, Îles du Cap-Vert

Lieux exclus :

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

Quantité :

Changer de pays :

Expédition et manutention	Chaque objet supplémentaire	À	Service	Livraison*Voir les remarques sur la livraison
8,99 GBP (environ 15,68 $C)	8,99 GBP (environ 15,68 $C)	États-Unis	Expédition standard (Standard Int'l Postage)	Livraison prévue entre le mer. 26 juin et le lun. 15 juil. à 43230 Le vendeur expédie l'objet dans un délai de 1 jour après réception du paiement.

*Les dates de livraison approximatives – s'ouvre dans une nouvelle fenêtre ou un nouvel onglet tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.Remarques - Livraison *Les dates de livraison approximatives tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.

Délai de manutention

Expédition dans les 1 jours ouvrables après réception du paiement.

Taxes

Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay.