The ever-increasing dependence of our lives and livelihoods on the correct functioning of computer software means that logic and program correctness are core elements of all goo...
21 tulosta hakusanalla "Program Construction".
Program Construction
Stone R. G. Stone; Cooke D. J. Cooke · ISBN 9780521268233
Julkaistu 1987 Kieli englanti sidottu
This textbook is an introduction to the design and writing of computer programs.
Program Construction
Stone R. G.; Cooke D. J. · ISBN 9780521318839
Julkaistu 1987 Kieli englanti pokkari
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specificati...
Program Construction
F. L. Bauer; E. W. Dijkstra; S. L. Gerhart; D. Gries; M. Griffiths; J. V. Guttag; J. J. Horning; Susan Speer Owicki; C. Pair; H. Partsch; P. Pepper; M. Wirsing; Hans Wossner · ISBN 9783540092513
Julkaistu 1979 Kieli englanti nidottu
Vessel Sanitation Program Construction Guidelines
Centers for Disease Cont And Prevention · ISBN 9781499548617
Julkaistu 2014 Kieli englanti nidottu
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...
Mathematics of Program Construction
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...
Knowledge Based Program Construction II
Rainer Hesse; Reinhard Klette · ISBN 9783112753545
Julkaistu 1988 Kieli englanti sidottu
No detailed description available for "Knowledge Based Program Construction II".
Mathematics of Program Construction
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...
Mathematics of Program Construction
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...
Mathematics of Program Construction
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...
Mathematics of Program Construction
Tuntematon tekijä · ISBN 9783540438571
Julkaistu 2002 Kieli englanti nidottu
ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgramConstruction.Thisseriesofconferences aims to promote the development of mathema...
Mathematics of Program Construction
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...
Mathematics of Program Construction
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...
Mathematics of Program Construction
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...
Mathematics of Program Construction
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...
Mathematics of Program Construction
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...
Mathematics of Program Construction
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...
Mathematics of Program Construction
Tuntematon tekijä · ISBN 9783642133206
Julkaistu 2010 Kieli englanti nidottu
This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathemat...
Mathematics of Program Construction
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...