Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology - Chapman - Bøger - Chapman and Hall - 9780412837609 - 31. maj 1998
Ved uoverensstemmelse mellem cover og titel gælder titel

Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology

Chapman

Pris
DKK 1.687

Bestilles fra fjernlager

Forventes klar til forsendelse 23. - 29. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Programming Concepts and Methods: Ifip Tc2 / Wg2.2, 2.3 International Conference on Programming Concepts and Methods (Procomet '98) 8-12 June 1998, Shelter Island, New York, USA - Ifip Advances in Information and Communication Technology

Discusses some of the key issues in programming concepts and methods, with an emphasis on formal specification, formal verification and mathematical foundations. This book covers a number of topics in this field, including compositional approaches to specification and verification, the design of verification support tools and more.

486 pages, biography

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 31. maj 1998
ISBN13 9780412837609
Forlag Chapman and Hall
Antal sider 486
Mål 156 × 234 × 26 mm   ·   870 g
Sprog Engelsk  
Klipper/redaktør De Roever, Willem-paul
Klipper/redaktør Gries, David
Vis alle

Mere med Chapman

Andre har også købt

Se alt med Chapman ( f.eks. Bog , Hardcover bog , Paperback Bog og CD )