Verlag: Wiley-Iste, 2006
ISBN 10: 1905209347 ISBN 13: 9781905209347
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Hardcover. Zustand: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.74.
Verlag: ISTE Ltd., 2006
ISBN 10: 1905209347 ISBN 13: 9781905209347
Anbieter: Ammareal, Morangis, Frankreich
Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Wiley-ISTE, 2006
ISBN 10: 1905209347 ISBN 13: 9781905209347
Anbieter: Books Unplugged, Amherst, NY, USA
Zustand: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.8.
Verlag: ISTE Ltd., 2006
ISBN 10: 1905209347 ISBN 13: 9781905209347
Anbieter: Ammareal, Morangis, Frankreich
Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2006. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2006. Ammareal gives back up to 15% of this item's net price to charity organizations.
Verlag: Springer, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 312.
Verlag: Springer, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Zustand: New. pp. 312 Illus.
Verlag: Springer London, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: booksXpress, Bayonne, NJ, USA
Soft Cover. Zustand: new.
Verlag: Springer, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Verlag: Springer London Okt 2000, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study, an invoicing system, to enable the reader to compare and contrast easily. Among the techniques covered are: UML; Z; SAZ; B; JSD; OMT; VHDL; Estelle; SDL; LOTOS. This book is intended for industrial and commercial practitioners who need to expand their knowledge of software specification methods. This book provides a basic overview of the main methods, with a practical focus which allows readers to apply their knowledge to real-life situations. 312 pp. Englisch.
Verlag: Springer London, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: moluna, Greven, Deutschland
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This is the only up-to-date survey of specification techniquesSoftware Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study, an i.
Verlag: Springer London, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorously uniform presentation format. Special care has been devoted to ensure that specifications do not deviate from the case study text. As much as the method allows, what is specified is what appears in the case study text. The benefits are two-fold. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method. Second, it becomes easier to compare methods, because the same behavior is specified in each case. Each method presentation follows the same pattern. The concepts are pro gressively introduced when they are needed. To illustrate the specification pro cess, questions that the specifier should raise during the analysis of the case study are stated. Answers are provided as if they were given by an imaginary client. The question/answer process guides the derivation of the specification. Interestingly, the questions raised depend on the method, which is illustrative of the differences between them.
Verlag: Springer, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Paperback. Zustand: Brand New. 282 pages. 9.25x6.00x0.75 inches. In Stock.
Verlag: Springer London Ltd, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: New. This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using an invoicing system to enable the reader to compare and contrast. Some techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Editor(s): Habrias, Henri; Frappier, Marc. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 282 pages, 7 black & white illustrations, biography. BIC Classification: UF; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 16. Weight in Grams: 440. . 2000. Softcover reprint of the original 1st ed. 2001. Paperback. . . . .
Verlag: Springer London, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Paperback. Zustand: Like New. Like New. book.
Verlag: Springer London Ltd, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Verlag: Springer London Ltd, 2000
ISBN 10: 1852333537 ISBN 13: 9781852333539
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using an invoicing system to enable the reader to compare and contrast. Some techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Editor(s): Habrias, Henri; Frappier, Marc. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 282 pages, 7 black & white illustrations, biography. BIC Classification: UF; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 16. Weight in Grams: 440. . 2000. Softcover reprint of the original 1st ed. 2001. Paperback. . . . . Books ship from the US and Ireland.
Verlag: Wiley-ISTE, 2006
ISBN 10: 1905209347 ISBN 13: 9781905209347
Anbieter: SecondSale, Montgomery, IL, USA
Zustand: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.