L'objet est en rupture de stock.
Vous en avez un à vendre?

Une introduction aux mathématiques discrètes, aux spécifications formelles du système et à Z

by Ince, D. C. | PB | VeryGood
État :
Très bon
May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend ... En savoir plussur l'état
Prix :
10,82 $US
Environ14,85 $C
Expédition :
Sans frais Economy Shipping. En savoir plussur l'expédition
Lieu : Aurora, Illinois, États-Unis
Livraison :
Livraison prévue entre le lun. 24 juin et le jeu. 27 juin à 43230
Le délai de livraison est estimé en utilisant notre méthode exclusive, basée sur la proximité de l'acheteur du lieu où se trouve l'objet, le service d'expédition sélectionné, l'historique d'expédition du vendeur et d'autres facteurs. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.
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

Garantie de remboursement eBay
Recevez l'objet commandé ou obtenez un remboursement. 

Informations sur le vendeur

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
Un livre qui n’a pas l’air neuf et qui a été lu, mais qui est en excellent état. La couverture ne présente aucun dommage apparent et la jaquette (si applicable) est incluse (dans le cas des livres à reliure). Il n'y a aucune page manquante ou endommagée, aucun pli, aucune déchirure, aucun passage surligné ou souligné et aucune inscription en marge. Il est possible que le contreplat porte d'infimes marques d'identification. Le livre présente des traces d'usure infimes. Afficher toutes les définitions d'état(s'ouvre dans une nouvelle fenêtre ou un nouvel onglet)
Remarques du vendeur
“May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend ...
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
Author
D. C. Ince
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
Author
D. C. Ince
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

ThriftBooks

ThriftBooks

99% d'évaluations positives
17,7M objets vendus
Visiter la BoutiqueContacter
Répond généralement en 24 heures

Évaluations détaillées du vendeur

Moyenne au cours des 12 derniers mois

Qualité de la description
4.9
Justesse des frais d'expédition
5.0
Rapidité de l'expédition
5.0
Communication
4.9

É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.

Évaluations et avis sur le produit

Aucune évaluation ni aucun avis jusqu'à maintenant.
Soyez le premier à rédiger un avis.