Book

Programming with Specifications

An Introduction to Anna, a Language for Specifying Ada Programs «

Score:

(3/0)

Reviews:

0

Times tipped:

0

Times read:

0

Author(s):

David Luckham

Category:

ISBN

9781461396871

Information

Reviews

Wall

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 ».

There are no messages on Programming with Specifications wall yet.