Software Life Cycle Models. Objectoriented Concepts and Modeling.
Formal Specification and Verification. Design Methodologies and
Specifications. Programming and Coding. Programming Tools.
Declarative Programming. Automatic Program Synthesis and Reuse.
Program Verification and Testing. Software Maintenance. Advanced
Programming Environments. Other Selected Topics. Index.
General
| Imprint: |
Kluwer Academic / Plenum Publishers
|
| Country of origin: |
Netherlands |
| Series: |
Software Science & Engineering |
| Release date: |
November 1996 |
| First published: |
1997 |
| Authors: |
P.C-Y. Sheu
|
| Dimensions: |
230mm (L) |
| Format: |
Hardcover
|
| Pages: |
310 |
| Edition: |
New |
| ISBN-13: |
978-0-306-45163-8 |
| Categories: |
Books >
Computing & IT >
Computer programming >
General
Promotions
|
| LSN: |
0-306-45163-8 |
| Barcode: |
9780306451638 |
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
