Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer software packages

Buy Now

Software Specification Methods - An Overview Using a Case Study (Paperback, Softcover reprint of the original 1st ed. 2001) Loot Price: R2,658
Discovery Miles 26 580
Repayment Terms: R249 pm x 12*
Add to cart
Software Specification Methods - An Overview Using a Case Study (Paperback, Softcover reprint of the original 1st ed. 2001):...

Software Specification Methods - An Overview Using a Case Study (Paperback, Softcover reprint of the original 1st ed. 2001)

Marc Frappier, Henri Habrias

Series: Formal Approaches to Computing and Information Technology (FACIT)

 (sign in to rate)
Loot Price R2,658 Discovery Miles 26 580 | Repayment Terms: R249 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

This volume 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 and LOTOS. Most specification courses tend to focus on 1 or 2 key techniques and to have a theoretical bias; this book provides a basic overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. It will prove essential reading for all industrial and commercial practitioners who need to expand their knowledge of software specification methods.

General

Imprint: Springer London
Country of origin: United Kingdom
Series: Formal Approaches to Computing and Information Technology (FACIT)
Release date: October 2000
First published: 2001
Editors: Marc Frappier • Henri Habrias
Dimensions: 235 x 155 x 16mm (L x W x T)
Format: Paperback
Pages: 282
Edition: Softcover reprint of the original 1st ed. 2001
ISBN-13: 978-1-85233-353-9
Categories: Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Computer software packages > General
Books > Computing & IT > Computer programming > Programming languages > General
Promotions
LSN: 1-85233-353-7
Barcode: 9781852333539

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Oracle 12c - SQL (Paperback, 3rd Edition): Joan Casteel
Oracle 12c - SQL
Joan Casteel Paperback  (1)
 R1,321 R1,228 Discovery Miles 12 280
Database Systems - Design, Implementation & Management (Paperback, 14th edition): Carlos Coronel, Steven Morris
Database Systems - Design…
Carlos Coronel, Steven Morris Paperback R1,395 R1,225 Discovery Miles 12 250
Ethics in Information Technology (Paperback, 6th edition): George Reynolds
Ethics in Information Technology
George Reynolds Paperback R1,245 R1,160 Discovery Miles 11 600
Information Technology Project Management (Paperback, 9th edition): Kathy Schwalbe
Information Technology Project…
Kathy Schwalbe Paperback R1,196 R1,118 Discovery Miles 11 180
A Guide To SQL (Paperback, 10th edition): Philip Pratt, Hassan Afyouni, Mark Shellman, Mary Last
A Guide To SQL
Philip Pratt, Hassan Afyouni, … Paperback R1,256 R1,167 Discovery Miles 11 670
Financial Analysis With Microsoft Excel (Paperback, 9th edition): Timothy Mayes
Financial Analysis With Microsoft Excel
Timothy Mayes Paperback R1,339 R1,257 Discovery Miles 12 570
MIS (Paperback, 10th edition): Hossein Bidgoli
MIS
Hossein Bidgoli Paperback R1,169 R1,095 Discovery Miles 10 950
Data Communication and Computer Networks - A Business User's Approach (Paperback, 9th Edition): Jill West, Curt M. White
Data Communication and Computer Networks…
Jill West, Curt M. White Paperback R1,354 R1,257 Discovery Miles 12 570
Problem Solving Cases In Microsoft Access & Excel (Paperback, 16th edition): Joseph Brady, Ellen Monk, Emilio Mendelsohn
Problem Solving Cases In Microsoft…
Joseph Brady, Ellen Monk, … Paperback R1,148 R1,074 Discovery Miles 10 740
14th International Symposium on Process Systems Engineering, Volume 49 (Hardcover): Yoshiyuki Yamashita, Manabu Kano
14th International Symposium on Process…
Yoshiyuki Yamashita, Manabu Kano Hardcover R11,098 Discovery Miles 110 980
International Encyclopedia of Transportation (Hardcover): Roger Vickerman
International Encyclopedia of…
Roger Vickerman Hardcover R79,215 Discovery Miles 792 150
29th European Symposium on Computer Aided Chemical Engineering, Volume 46 (Hardcover): Anton A Kiss, Edwin Zondervan, Richard...
29th European Symposium on Computer…
Anton A Kiss, Edwin Zondervan, … Hardcover R11,317 Discovery Miles 113 170

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners