This is the definitive guide to software engineering with B - the generic name for the software development method invented by Jean-Raymond Abrial, and for the language and CASE tool developed by B-Core (UK) Ltd. The B-method is almost unique among formal software development methods in that it uses a single notation for specification, design and programming. Using tutorial examples, this practical guide can be applied to the whole software engineering life cycle. An accompanying disk allows the reader to experiment with program examples.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
John Wordsworth is a technical writer at IBM United Kingdom Laboratories at Hursley Park.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
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. Codice articolo GOR005314921
Quantità: 1 disponibili
Da: BooksByLisa, Highland Park, IL, U.S.A.
Soft cover. Condizione: New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book. Codice articolo 696
Quantità: 1 disponibili
Da: BooksByLisa, Highland Park, IL, U.S.A.
Soft cover. Condizione: New. Condizione sovraccoperta: New. PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book. Book. Codice articolo 297
Quantità: 1 disponibili
Da: ECOSPHERE, Champs sur marne, Francia
Couverture rigide. Condizione: Neuf. Edition originale. Codice articolo ABE-18152828731
Quantità: 1 disponibili