Formal Specification Design by Feijs (13 results)
Language: English
Published by Cambridge University Press, 2005
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Very good
£ 44.12
£ 5.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Language: English
Published by Cambridge University Press, 2005
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 56.61
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Language: English
Published by Cambridge University Press, 2005
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 55.93
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Cambridge University Press 2008-08-21, 2008
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 53.09
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
Language: English
Published by Cambridge University Press, 2008
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
£ 67.87
£ 8.13 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 352 pages,…black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 19. Weight in Grams: 560. . 2008. Pbk Version ed. paperback. . . . .
Language: English
Published by Cambridge University Press CUP, 2005
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 77.31
£ 2.92 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 352.
Language: English
Published by Cambridge University Press, 2005
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
£ 80.47
£ 7.69 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 352 pages,…black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 19. Weight in Grams: 560. . 2008. Pbk Version ed. paperback. . . . . Books ship from the US and Ireland.
Language: English
Published by Cambridge University Press, 2005
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 77.22
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 352 Illus.
Language: English
Published by Cambridge University Press, 2005
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
£ 65.04
£ 16.65 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Language: English
Published by Cambridge University Press, 2005
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 82.11
£ 8.51 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 352.
Language: English
Published by Cambridge University Press, Cambridge, 2005
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- First Edition
- Print on Demand
Seller: CitiRetail, Stevenage, United KingdomCitiRetail
Contact seller5-star sellerCondition: New
£ 60.99
£ 37.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented La…nguage for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas. The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Language: English
Published by Cambridge University Press, 2005
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: moluna, Greven, Germanymoluna
Contact seller5-star sellerCondition: New
£ 63.37
£ 41.91 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design.InhaltsverzeichnisPart I. Algebraic Specification: 1. Introducing the basi…c concepts 2. Setting up algebraic speci.
More imagesLanguage: English
Published by Cambridge University Press, 2005
Series: Book 14 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 65.74
£ 59.88 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Formal Specification and Design | L. M. G. Feijs (u. a.) | Taschenbuch | Kartoniert / Broschiert | Englisch | 2005 | Cambridge University Press | EAN 9780521435925 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Dema…nd.
