Software Engineering With B (International Computer Science Series)

Wordsworth, J. B."

ISBN 10: 0201403560 / ISBN 13: 9780201403565

Editore: Addison-Wesley, 1996

Riguardo questo articolo

PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; . PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book.

Codice articolo 297

Dati bibliografici

• Titolo: Software Engineering With B (International Computer Science Series)
• Editore: Addison-Wesley
• Data di pubblicazione: 1996
• Lingua: Inglese
• ISBN 10: 0201403560
• ISBN 13: 9780201403565
• Rilegatura: Soft cover
• Condizione: New
• Condizione della sovraccoperta: New
• Tipo di libro: Book
• Cataloghi dei venditori:
  • Computer books

Descrizione articolo

Riassunto

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.

Informazioni sull?autore

John Wordsworth is a technical writer at IBM United Kingdom Laboratories at Hursley Park.