Way Practical Programming Formal Methods by Jacky Jonathan (19 results)
- Softcover
Seller: Greenworld Books, arlington, TX, U.S.A.Greenworld Books
Contact seller5-star sellerCondition: Used - Fair
US$ 8.24
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: acceptable. Fast Free Shipping â" A well-loved copy with text fully readable and cover pages intact. May display wear such as writing, highlighting, bends, folds or library marks. Still a complete and usable book.
- Softcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
US$ 5.00
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
- Softcover
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 3.90
US$ 7.58 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: 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.
- Softcover
Seller: One Planet Books, Columbia, MO, U.S.A.One Planet Books
Contact seller4-star sellerCondition: Used - Good
US$ 7.99
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Good. Illustrated. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing and/or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
- Softcover
Seller: Better World Books Ltd, Dunfermline, United KingdomBetter World Books Ltd
Contact seller5-star sellerCondition: Used - Very good
US$ 6.27
US$ 6.77 shippingShips from United Kingdom to U.S.A.Quantity: 3 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.
- Softcover
Seller: Textbooks_Source, Columbia, MO, U.S.A.Textbooks_Source
Contact seller5-star sellerCondition: Used - Good
US$ 16.74
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Good. Illustrated. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes).
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - Good
US$ 62.46
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
- Softcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
US$ 82.24
US$ 6.95 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: New. In shrink wrap. Looks like an interesting title.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 95.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 90.85
US$ 16.22 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - Good
US$ 86.61
US$ 20.31 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 91.66
US$ 20.97 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
- Softcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrelandKennys Bookshop and Art Galleries Ltd.
Contact seller5-star sellerCondition: New
US$ 105.25
US$ 12.04 shippingShips from Ireland to U.S.A.Quantity: Over 20 available
Condition: New. A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997. Num Pages: 372 pages, Illustrations. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 194…x 299 x 27. Weight in Grams: 668. . 1997. Illustrated. paperback. . . . .
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Very good
US$ 14.00
US$ 120.43 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. Zustand: Gut | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artif…icial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.
- Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contact seller5-star sellerCondition: New
US$ 125.42
US$ 10.50 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New. A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997. Num Pages: 372 pages, Illustrations. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 194…x 299 x 27. Weight in Grams: 668. . 1997. Illustrated. paperback. . . . . Books ship from the US and Ireland.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 131.51
US$ 72.80 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This 1997 book is a self-contained tutorial on Z, a formal notation for modelling, specifying and designing computer systems and software, for experienced professionals and serious students in programming and software engineering. It presents reali…stic case studies emphasising safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented programming. It motivates the use of formal methods and discusses practical issues concerning how to apply them in real projects. It also teaches how to apply formal program derivation and verification to implement Z specifications in real programming languages with examples in C. The book includes exercises with solutions, reference materials, and a guide to further reading.
Seller: Antiquariaat Van Veen, Veelerveen, NetherlandsAntiquariaat Van Veen
Contact seller4-star sellerCondition: Used
US$ 17.72
US$ 28.10 shippingShips from Netherlands to U.S.A.Quantity: 1 available
New York, Cambridge University Press, 2001. 1st reprinted 350 pages. Pb . Cover with minor edgewear. very good condition.
- Softcover
- Print on Demand
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 86.67
US$ 16.92 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 367 pages. 9.25x7.00x0.75 inches. In Stock. This item is printed on demand.
- Softcover
- Print on Demand
Seller: THE SAINT BOOKSTORE, Southport, United KingdomTHE SAINT BOOKSTORE
Contact seller5-star sellerCondition: New
US$ 95.16
US$ 23.63 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.
