Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

Programming with Specifications
Programming with Specifications
An Introduction to Anna, a Language for Specifying Ada Programs »
 
 
 
 
 

The Power of Events
The Power of Events
An Introduction to Complex Event Processing in Distributed Enterprise Systems »
 
 
 
 
 

Anna A Language For Annotating Ada Programs
Anna A Language For Annotating Ada Programs
Reference Manual »