Photo 1 sur 1
Une introduction aux mathématiques discrètes, aux spécifications formelles du système et à Z
by Ince, D. C. | PB | VeryGood
État :
“May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend ”... En savoir plussur l'état
Expédition :
Lieu : Aurora, Illinois, États-Unis
Livraison :
Livraison prévue entre le lun. 24 juin et le jeu. 27 juin à 43230
Renvois :
Renvoi sous 30jours. Le vendeur paie les frais de renvoi. En savoir plus- pour en savoir plus sur les renvois
Paiements :
Magasinez en toute confiance
Informations sur le vendeur
- 99% d'évaluations positives
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :145510267309
Dernière mise à jour : mai 24, 2024 12:30:11 HAEAfficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- Très bon
- Remarques du vendeur
- Binding
- Paperback
- Weight
- 1 lbs
- Product Group
- Book
- IsTextBook
- Yes
- ISBN
- 9780198538363
- Subject Area
- Mathematics
- Publication Name
- Introduction to Discrete Mathematics, Formal System Specification, and Z
- Publisher
- Oxford University Press, Incorporated
- Item Length
- 9.3 in
- Subject
- Discrete Mathematics
- Publication Year
- 1993
- Series
- Oxford Applied Mathematics and Computing Science Ser.
- Type
- Textbook
- Format
- Uk-Trade Paper
- Language
- English
- Item Height
- 0.6 in
- Features
- Revised
- Item Weight
- 15.1 Oz
- Item Width
- 6.1 in
- Number of Pages
- 296 Pages
À propos de ce produit
Product Identifiers
Publisher
Oxford University Press, Incorporated
ISBN-10
0198538367
ISBN-13
9780198538363
eBay Product ID (ePID)
154374432
Product Key Features
Number of Pages
296 Pages
Language
English
Publication Name
Introduction to Discrete Mathematics, Formal System Specification, and Z
Publication Year
1993
Subject
Discrete Mathematics
Features
Revised
Type
Textbook
Subject Area
Mathematics
Series
Oxford Applied Mathematics and Computing Science Ser.
Format
Uk-Trade Paper
Dimensions
Item Height
0.6 in
Item Weight
15.1 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Edition Number
2
Intended Audience
College Audience
LCCN
92-028938
Dewey Edition
20
Illustrated
Yes
Dewey Decimal
005.133
Edition Description
Revised edition
Table Of Content
Commercial software development; Customer requirements and specification; Propositional calculus; Predicate calculus; Set theory; Relations; Functions and sequences; The specification language Z; Operations and objects in Z; The Z schema calculus; Some small Z examples; A large Z specification; Z and design.
Synopsis
Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Z is the name of a specification language. This textbook (1st edn 1988) is an introduction to the theory and practice of formal specification. The new edition meets criticisms of the first by concentrating more on Z, including two completely new chapters on small Z examples and design in Z., Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Poor specification often gives rise to severe problems in software and hardware installation. This textbook is an introduction to both the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other covering design and Z. Prerequisites in this edition have been kept to a minimum since Professor Ince is at pains to develop the techniques of requirement analysis and discrete mathematics that are needed. Throughout the book are numerous worked examples and exercises which include many real examples of software and computer systems.
Copyright Date
1992
ebay_catalog_id
4
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :145510267309
Dernière mise à jour : mai 24, 2024 12:30:11 HAEAfficher toutes les modificationsAfficher toutes les modifications
Expédition et manutention
Lieu où se trouve l'objet :
Aurora, Illinois, États-Unis
Expédition :
Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Biélorussie, 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, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guam, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, 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, Mayotte, Mexique, Micronésie, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Palau, Panama, Papouasie-Nouvelle-Guinée, Paraguay, Pays-Bas, Philippines, Pologne, Porto Rico, 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, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Samoa, Samoa américaines, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, 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, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, É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 :
Barbade, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Polynésie française, Russie, Réunion, Ukraine, Venezuela
Expédition et manutention | À | Service | Livraison*Voir les remarques sur la livraison |
---|---|---|---|
Expédition sans frais | États-Unis | Economy Shipping | Livraison prévue entre le lun. 24 juin et le jeu. 27 juin à 43230 |
15,99 $US (environ 21,95 $C) | États-Unis | Expedited Shipping | Livraison prévue entre le sam. 22 juin et le lun. 24 juin à 43230 |
Délai de manutention |
---|
Expédition dans les 1 jours ouvrables après réception du paiement. |
Taxes |
---|
Le vendeur facture une taxe de vente dans |
Taxe de vente pour cet objet (145510267309)
Taxe de vente pour cet objet (145510267309)
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|---|
Missouri (MO) | 8.238% |
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 du vendeur.
Détails du paiement
Modes de paiement
Évaluations comme vendeur (5 221 910)
n***n (421)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Great place to buy books.
t***n (1615)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Great item. Thanks.
t***n (1615)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Great item. Thanks.