The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R a D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available.... Papers Radu Calinescu, Ethan Jackson. A graphical editor for creating relay circuit diagrams and track layout diagrams has been implemented, see [9], and recently it has been extended with the ability to specify train route tables, see [10].
Title | : | Foundations of Computer Software |
Author | : | Radu Calinescu, Ethan Jackson |
Publisher | : | Springer Science & Business Media - 2011-05-23 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works: