phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Software Specification Methods

Language EnglishEnglish
Book Hardback
Book Software Specification Methods Henri Habrias
Libristo code: 05025094
Publishers ISTE Ltd, April 2006
This title provides a clear overview of the main methods, and has a practical focus that allows the... Full description
? points 562 b
224.25 €
50 % chance We search the world When will I receive my book?

30-day return policy

You might also be interested in

Professional ASP.NET MVC 5 Jon Galloway / Paperback
common.buy 36.36 €
Birth of Tajikistan Paul Bergne / Hardback
common.buy 212.53 €
Corpus Juris Hungarici. Kálmán Csiky / Paperback
common.buy 208.79 €
Understanding Problem Gamblers Paul Bellringer / Paperback
common.buy 32.11 €
International Labour Conventions and National Law Virginia A. Leary / Paperback
common.buy 61.51 €
Reiki -- Master Attunement NTSC DVD Steve Murray / Digital
common.buy 31.61 €
Cover and Uncover Ann Davis / Paperback
common.buy 48.78 €
Pinners' and Wiresellers' Book 1462-1511 Barbara Megson / Hardback
common.buy 81.71 €
Navaho Missile Project James N. Gibson / Paperback
common.buy 16.66 €
Children Make Terrible Pets Peter Brown / Hardback
common.buy 15.85 €
U.S. Oil Reserves & the National Oilheat Research Alliance / Paperback
common.buy 80.60 €
Geographical Enquiry Teacher's Book 1 Graham Senior / Spiral bound
common.buy 92.22 €
Genetically Engineered Crops & Proposed Oversight / Hardback
common.buy 165.36 €
Pediatric Practice Cardiology Marie Gleason / Hardback
common.buy 152.12 €

This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.

About the book

Full name Software Specification Methods
Author Henri Habrias
Language English
Binding Book - Hardback
Date of issue 2006
Number of pages 444
EAN 9781905209347
ISBN 1905209347
Libristo code 05025094
Publishers ISTE Ltd
Weight 780
Dimensions 155 x 242 x 28

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account