Titre: An Introduction to Discrete Mathematics, Formal System Specification, and Z (eng)
�diteur: Clarendon Press
Date de parution: 1993
Langue: anglais
ISBN � 10 chiffres: 0198538367
ISBN � 13 chiffres: 9780198538363
Reliure: Couverture souple
�dition: 2�me �dition
�tat de l'article: new

A propos de ce titre

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

Pr�sentation de l'�diteur

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Account dedicated to Print on Demand titles. Brook Bookstore offers a wide selection of books with a continuously updated catalog and fast shipments all over the world. We hold distribution rights with all of the publishers we promote and are in continuous search of new interesting titles to propose to our customers. We are part of Brandon Group SRL (an Italian company) and all of the orders are shipped from Europe. Depending on availability orders will be picked from our different warehouses. CONTACT US If you have any questions please do not hesitate to contact us sending a message to our store. We have a well prepared customer service team who will be happy to assist you. Our working hours are from Monday to Friday from 9:30 to 18:30 (CET, UTC +1) so messages received during the weekends might be responded with a slight delay but we guarantee you will get back to you as soon as possible. RETURNS If you want to return your order, please submit your request through Abebooks platform. Returns requests are managed case by case by our team and always in line with Abebooks policies: AbeBooks? Return Policy guarantees that you can return any book for a refund within 30 days, when the return is due to an error on the bookseller?s part. When the motive of the return is not due to an error of the seller it is up to Brook Bookstore to accept the return or else after studying the case. CANCELLATION You can send a cancellation request to our customer service team while the package has not yet been shipped. After that we cannot ensure we can retrieve the parcel but we suggest you to get in touch with us in order to verify the case. INVOICE You can request the invoice to be issued together with the shipment of the order or, at the latest, in the same month of the shipment.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Brandon Group S.R.L.
Via Vannella Gaetani 27, Brandon Group, Napoli, NA, 80121, Italy

Conditions de vente et de livraison

Conditions g�n�rales de vente

Compte d�di� aux titres imprim�s � la demande.

NOUS CONTACTER
Si vous avez des questions, n'h�sitez pas � nous contacter en utilisant l'option "Contacter ce vendeur / Poser une question". Nous avons une �quipe de support client bien form�e qui sera heureuse de vous aider. Nos heures d'ouverture sont du lundi au vendredi de 9h30 � 18h30 (CET, UTC +1), donc les messages re�us le week-end peuvent recevoir une r�ponse avec un l�ger retard, mais nous vous garantissons que nous vous r�pondrons dans le...

Pour plus d'information