http://www.vdmbook.com/twiki/bin/view/Main The web for users, groups and offices. TWiki is an Enterprise Collaboration Platform. en-us Copyright 2009 by contributing authors Main.MarcelVerhoef [webmaster@vdmbook.com] The contributing authors of VdmBook^? VdmBook http://www.vdmbook.com/twiki/bin/view/Main http://www.vdmbook.com/twiki/pub/TWiki/TWikiLogos/T-logo-140x40-t.gif http://www.vdmbook.com/twiki/bin/view/Main/BethanyRogelio My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by BethanyRogelio) 2008-12-29T13:48:00Z BethanyRogelio http://www.vdmbook.com/twiki/bin/view/Main/AlexanderXander My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by AlexanderXander) 2008-12-28T21:06:07Z AlexanderXander http://www.vdmbook.com/twiki/bin/view/Main/MicahNathaniel My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent) 2008-12-27T17:14:59Z TWikiRegistrationAgent http://www.vdmbook.com/twiki/bin/view/Main/TWikiAdminGroup TWiki Administrator Group Member list: Set GROUP AartVerweij, MarcelVerhoef, PeterGormLarsen, JohnFitzgerald Persons/group who can change the list ... (last changed by MarcelVerhoef) 2008-09-01T22:19:33Z MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/WebHome Validated Designs for Object oriented Systems This website complements the books Validated Designs for Object oriented Systems . Here you can find sample models, ... (last changed by JohnFitzgerald) 2008-06-21T19:53:07Z JohnFitzgerald http://www.vdmbook.com/twiki/bin/view/Main/NaniAman My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent) 2008-05-16T01:59:16Z TWikiRegistrationAgent http://www.vdmbook.com/twiki/bin/view/Main/BinoyRavindran My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent) 2007-07-24T20:39:04Z TWikiRegistrationAgent http://www.vdmbook.com/twiki/bin/view/Main/AliKandi My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent) 2007-05-09T18:35:09Z TWikiRegistrationAgent http://www.vdmbook.com/twiki/bin/view/Main/RickieBrown My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by RickieBrown) 2007-03-01T21:20:40Z RickieBrown http://www.vdmbook.com/twiki/bin/view/Main/ChrisBramley My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent) 2006-12-05T18:17:35Z TWikiRegistrationAgent http://www.vdmbook.com/twiki/bin/view/Main/JeremyBryans My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent) 2006-11-29T12:53:44Z TWikiRegistrationAgent http://www.vdmbook.com/twiki/bin/view/Main/RasmusAskSoerensen My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent) 2006-11-12T15:30:15Z TWikiRegistrationAgent http://www.vdmbook.com/twiki/bin/view/Main/PeterGormLarsen My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by PeterGormLarsen) 2006-10-06T13:31:06Z PeterGormLarsen http://www.vdmbook.com/twiki/bin/view/Main/CourseMaterial We have prepared a set of slides (Microsoft Powerpoint) that can be used for teaching VDM , currently covering chapter 1 to 8 of the book. Each file corresponds roughly ... (last changed by PeterGormLarsen) 2006-08-22T21:11:20Z PeterGormLarsen http://www.vdmbook.com/twiki/bin/view/Main/MarcelVerhoef My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by MarcelVerhoef) 2006-08-22T15:10:33Z MarcelVerhoef http://www.vdmbook.com/twiki/bin/view/Main/TeiichiAruga My Links .ATasteOfTWiki view a short introductory presentation on TWiki for beginners .WelcomeGuest starting points on TWiki .TWikiUsersGuide ... (last changed by TWikiRegistrationAgent) 2006-08-09T02:47:41Z TWikiRegistrationAgent