92 y(13.)43 b(K.)22 b(Lano,)h Fn(The)h(B)h(L)l(anguage)h(and)e(Metho)l(d,)h(A)g(Guide)f(to)h(Pr)l(actic)l(al)h(F)-6 b(ormal)24 b(Development)p Ft(,)663 2183 y(F)-6 b(undamen)n(tal)34 b(Approac)n(hes)j(to)f(Computing)g(and)g(Information)h(T)-6 b(ec)n(hnology)g(,)37 b(Springer,)663 2275 y(1996.)523 2366 y(14.)43 b(C.)20 b(Jones,)g Fn(Systematic)j(Softwar)l(e)g (Development)g(Using)f(VDM)p Ft(,)d(2nd)g(edition,)h(Pren)n(tice)f (Hall)663 2457 y(In)n(ternational,1990.)523 2549 y(15.)43 b(M.)24 b(Spiv)n(ey)-6 b(,)23 b Fn(The)j(Z)g(Notation:)g(A)g(R)l(efer)l (enc)l(e)i(Manual)p Ft(,)c(2nd)g(edition,)g(Pren)n(tice)h(Hall)f(In)n (ter-)663 2640 y(national,)j(1992.)523 2731 y(16.)43 b(H.)19 b(T)-6 b(reharne,)20 b Fn(Supplementing)j(a)f(UML)f (Development)i(Pr)l(o)l(c)l(ess)h(with)e(B)p Ft(,)e(in)f(Pro)r (ceedings)i(of)663 2823 y(FME)27 b(2002:)i(F)-6 b(ormal)27 b(Metho)r(ds{)h(Getting)g(IT)f(Righ)n(t,)g(Denmark,)f(LNCS)h(2391,)i (Springer,)663 2914 y(2002.)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF 92 y(13.)43 b(K.)22 b(Lano,)h Fn(The)h(B)h(L)l(anguage)h(and)e(Metho) l(d,)h(A)g(Guide)f(to)h(Pr)l(actic)l(al)h(F)-6 b(ormal)24 b(Development)p Ft(,)663 2183 y(F)-6 b(undamen)n(tal)34 b(Approac)n(hes)j(to)f(Computing)g(and)g(Information)h(T)-6 b(ec)n(hnology)g(,)37 b(Springer,)663 2275 y(1996.)523 2366 y(14.)43 b(C.)20 b(Jones,)g Fn(Systematic)j(Softwar)l(e)g (Development)g(Using)f(VHTTP/1.1 200 OK Set-Cookie: JSESSIONID=1bxtvpwqg92ppv3elkypus6cq;Path=/;Secure;HttpOnly Expires: Thu, 01 Jan 1970 00:00:00 GMT Expires: Tue, 01 Jan 2000 00:00:00 GMT Last-Modified: Sat, 23 Mar 2019 02:59:55 GMT Cache-Control: no-store, no-cache, must-revalidate, max-age=0 Cache-Control: post-check=0, pre-check=0 Pragma: no-cache X-Robots-Tag: nofollow Content-Type: text/html; charset=UTF-8 Content-Length: 14584 Server: Jetty(9.2.22.v20170606) ePubs

ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/48804
Record Status Checked
Record Id 48804
Title The Accelerator Markup Language and the Universal Accelerator Parser
Contributors
Abstract
Organisation CCLRC , ASTeC-AP , CI
Keywords Physics
Funding Information
Related Research Object(s):
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Proceedings of EPAC 2006, (EPAC 2006), Edinburgh, Scotland, 26-30 June 2006, (2006): 2278-2280. http://accelconf.…/PAPERS/WEPCH150.PDF 2006
Showing record 1 of 1