SearchPixie - High Traffic Pay per Click Search Engine
bookmark
Home: Computers: Programming: Languages: Z
CATEGORIES:
  Books (8)
Featured Listing:

LINKS:
  • MOBY
    Official page. C++ class library, basis of three tools: Moby/PLC, Moby/SDL, and Moby/OZ graphical editor to build specifications in Z/Object-Z, allows structured development via hierarchy concepts, handles many text formats.
    http://theoretica.informatik.uni-oldenburg.de/~moby/
    (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)   Rate It   Review It
  • TCOZ Page
    Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems to control complexity. Description, publications, book list.
    http://www.comp.nus.edu.sg/~dongjs/tcoz.html
    (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)   Rate It   Review It
  • ZB2002
    The 2nd International Z and B Conference, Grenoble, France, 23-25 January 2002. The 13th International Z User Meeting, The 4th International Conference on the B Method. Proceedings, Tutorials and Education Session, RCS'02 Workshop.
    http://www-lsr.imag.fr/zb2002/
    (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0)   Rate It   Review It
 
HOMEADD A LINK

Copyright ©20011 SearchPixie.com Pay Per Click Search Engine. All Rights Reserved 

Adult Video Section| A Funny Site| Big Upload| TrafficGiveAway| SearchPixie| 100000freecliparts| picZs| MyfunPortal| Top20Cool| HotterBabes| 12Freebie| Clipaholic| FreebieJungle| MyOwnStartpage| WallpaperSpecials| Online Games| Sexy.VoteMonster| SiteBuilder-FX| VoteMonster| filehostingreview| Wonderful Faces| Sex Videos| Automatic Backlinks