ISBN: 9780198538363 - an introduction to discrete mathematics, formal system specification, and z (oxford applied mathematics & computing science series) (26 risultati)

Condizione: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Condizione: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Paperback. Condizione: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.

Paperback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.

Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days.

Condizione: New. In English.

Condizione: As New. Unread book in perfect condition.

Condizione: New. 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. This textbook is an introduction to both the theory and practice of formal specification. Series: Oxford Applied Mathematics & Computing Science Series. Num Pages: 296 pages, line drawings. BIC Classification: PBW; UYA. Category: (U) Tertiary Education (US: College). Dimension: 235 x 156 x 16. Weight in Grams: 430. . 1993. 2nd Edition. paperback. . . . .…

Condizione: New. 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. This textbook is an introduction to both the theory and practice of formal specification. Series: Oxford Applied Mathematics & Computing Science Series. Num Pages: 296 pages, line drawings. BIC Classification: PBW; UYA. Category: (U) Tertiary Education (US: College). Dimension: 235 x 156 x 16. Weight in Grams: 430. . 1993. 2nd Edition. paperback. . . . . Books ship from the US and Ireland.…

Condizione: new. Questo è un articolo print on demand.

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.

Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.

Paperback. Condizione: new. Paperback. 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 designand 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. Throughoutthe book are numerous worked examples and exercises which include many real examples of software and computer systems. A second edition of the textbook originally published in 1988. It 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. This textbook is an introduction to both the theory and practice of formal specification. …

Condizione: New. Print on Demand pp. 300.

Taschenbuch. Condizione: Neu. An Introduction to Discrete Mathematics, Formal System Specification, and Z | Darrel C. Ince (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 1993 | OUP Oxford | EAN 9780198538363 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…

Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.…

Condizione: New. Print on Demand pp. 300 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Condizione: New. PRINT ON DEMAND pp. 300.