15 tulosta hakusanalla "Mathematics of Program Construction".
Tuntematon tekijä · ISBN 9783030336356
Julkaistu 2019 Kieli englanti nidottu
This book constitutes the refereed proceedings of the 13th International Conference on Mathematics of Program Construction, MPC 2019, held in Porto, Portugal, in October 2019. T...
Tuntematon tekijä · ISBN 9783031169113
Julkaistu 2022 Kieli englanti nidottu
This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022...
Tuntematon tekijä · ISBN 9783319197968
Julkaistu 2015 Kieli englanti nidottu
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July...
Tuntematon tekijä · ISBN 9783540223801
Julkaistu 2004 Kieli englanti nidottu
This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the...
Tuntematon tekijä · ISBN 9783540356318
Julkaistu 2006 Kieli englanti nidottu
This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. Th...
Tuntematon tekijä · ISBN 9783540438571
Julkaistu 2002 Kieli englanti nidottu
ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathema...
Tuntematon tekijä · ISBN 9783540513056
Julkaistu 1989 Kieli englanti nidottu
The papers included in this volume were presented at the Conference on Mathematics of Program Construction held from June 26 to 30, 1989. The conference was organized by the Dep...
Tuntematon tekijä · ISBN 9783540566250
Julkaistu 1993 Kieli englanti nidottu
Not very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is moreand more interest from in...
Tuntematon tekijä · ISBN 9783540601173
Julkaistu 1995 Kieli englanti nidottu
This volume constitutes the proceedings of the Third International Conference on the Mathematics of Program Construction, held at Kloster Irsee, Germany in July 1995.Besides fiv...
Tuntematon tekijä · ISBN 9783540645917
Julkaistu 1998 Kieli englanti nidottu
This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Goteborg, Sweden, in Ju...
Tuntematon tekijä · ISBN 9783540677277
Julkaistu 2000 Kieli englanti nidottu
This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics of Program Construction. This series of conferences aims to promote the develo...
Tuntematon tekijä · ISBN 9783540705932
Julkaistu 2008 Kieli englanti nidottu
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, MPC 2008, held in Marseille, France in July 2008. The...
Tuntematon tekijä · ISBN 9783642133206
Julkaistu 2010 Kieli englanti nidottu
This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathemat...
Tuntematon tekijä · ISBN 9783642311123
Julkaistu 2012 Kieli englanti nidottu
This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13...
Tuntematon tekijä · ISBN 9783540436133
Julkaistu 2002 Kieli englanti nidottu
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits i...