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øker - Chapman and Hall - 9780412837609 - 31. mai 1998
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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
Mex$ 3.967

Bestillingsvarer

Forventes levert 24. jul - 1. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 31. mai 1998
ISBN13 9780412837609
Utgivere Chapman and Hall
Antall sider 486
Mål 156 × 234 × 26 mm   ·   870 g
Språk Engelsk  
Redaktør De Roever, Willem-paul
Redaktør Gries, David
Vis alle

Mer med Chapman

Andre har også kjøpt

Se alt med Chapman ( f.eks. Bok , Innbunden bok , Pocketbok og CD )