Constructing Correct Software - Formal Approaches to Computing & Information Technology S. - John Cooke - Bøger - Springer London Ltd - 9781852338206 - 8. november 2004
Ved uoverensstemmelse mellem cover og titel gælder titel

Constructing Correct Software - Formal Approaches to Computing & Information Technology S. 2nd Ed. 2005 edition

John Cooke

Pris
Kč 1.722

Bestilles fra fjernlager

Forventes klar til forsendelse 23. - 30. jul.
Tilføj til din iMusic ønskeseddel
Eller

Constructing Correct Software - Formal Approaches to Computing & Information Technology S. 2nd Ed. 2005 edition

Illustrates and explains the constructive approach to software development. This book uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained. It is intended for 3rd/4th year undergraduate and postgraduate and software developers in industry.


532 pages, 100 black & white illustrations, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 8. november 2004
ISBN13 9781852338206
Forlag Springer London Ltd
Antal sider 509
Mål 155 × 234 × 24 mm   ·   748 g
Sprog Engelsk  

Vis alle

Mere med John Cooke