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
Auteur :
Gries, David
ISBN :
9780412837609
Date de publication :
1 mai 1998
Dimensions :
23,4 x 15,6 x 2,6 cm
Poids :
873 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.