BOOKS EBOOKS RARE BOOKS CLASSICAL CDs DVDs PRINTED MUSIC PODCASTS OFFERS
 

Search for: Kevin Lano Howard Haughton

Refine your search:

 

£28.00
Not in stock - our special ordering service will try to obtain this title for you

New & used from £28.71
ISBN: 9781860940187 - Specification in B Specification in B
Kevin Lano, Howard Haughton

ISBN10: 1860940188  ISBN13: 9781860940187
Publisher: Imperial College Press
Format: Paperback
Publication date: 04 Jan 1996
Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work... More

£53.00
Not in stock - our special ordering service will try to obtain this title for you

New & used from £65.83
ISBN: 9781860940088 - Specification in B Specification in B
Kevin Lano, Howard Haughton

ISBN10: 1860940080  ISBN13: 9781860940088
Publisher: Imperial College Press
Format: Hardback
Publication date: 04 Jan 1996
Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work... More

£27.50
Out of print

New & used from £0.73
ISBN: 9780130970152 - Object-oriented Specification Case Studies Object-oriented Specification Case Studies
Kevin Lano, Howard Haughton

ISBN10: 0130970158  ISBN13: 9780130970152
Publisher: Pearson Education Limited Prentice-Hall
Format: Paperback
Publication date: 01 Oct 1993
This work aims to provide an introduction to the rapidly-growing area at the intersection of the fields of object-orientation and formal methods: formal approaches to system specification using object-oriented techniques. Object-orientation and... More

£30.99
Out of print

ISBN: 9780077078973 - Reverse Engineering and Software Maintenance Reverse Engineering and Software Maintenance
Kevin Lano, Howard Haughton

ISBN10: 0077078977  ISBN13: 9780077078973
Publisher: McGraw-Hill Education - Europe McGraw-Hill Publishing Co.
Format: Paperback
Publication date: 01 Nov 1993
A survey of current tools, techniques and research in reverse engineering and software maintenance. Using real examples, process models are detailed and techniques involving object-oriented design abstraction are developed. Examples are provided... More

£35.00
Cancelled - never printed

ISBN: 9780077090142 - Introduction to the B Abstract Machine Notation Introduction to the B Abstract Machine Notation
Howard Haughton, Kevin Lano (Lecturer, Computing Department, Imperial College, London)

ISBN10: 0077090144  ISBN13: 9780077090142
Publisher: McGraw-Hill Education - Europe McGraw-Hill Publishing Co.
Format: Paperback
Publication date: 01 Feb 1995
The B-Method, or B-Abstract Machine Notation, is a formal method that has commercially viable tool support (the B-Tool). This text provides a reference to the application of the B-Tool by software developers. The coverage is related throughout to... More