著者
書誌事項
Formal approaches to computing and information technology (FACIT)
Springer-Verlag
この図書・雑誌をさがす
関連文献: 17件中 1-17を表示
-
1
- Specification case studies in RAISE
-
Hung Dang Van...[et al.] (Eds.)
Springer 2002 Formal approaches to computing and information technology (FACIT)
所蔵館3館
-
2
- Refinement in Z and object-Z : foundations and advanced applications
-
John Derrick and Eerke Boiten
Springer-Verlag c2001 Formal approaches to computing and information technology (FACIT)
所蔵館1館
-
3
- Software specification methods : an overview using a case study
-
Marc Frappier and Henri Habrias (Eds.)
Springer c2001 Formal approaches to computing and information technology (FACIT)
所蔵館6館
-
4
- Industrial-strength formal methods in practice
-
Michael G. Hinchey and Jonathan P. Bowen, [editors]
Springer c1999 Formal approaches to computing and information technology (FACIT)
所蔵館6館
-
5
- High-integrity system specification and design
-
Jonathon P. Bowen and Michael G. Hinchey
Springer c1999 Formal approaches to computing and information technology (FACIT)
: pbk
所蔵館5館
-
6
- Program development by refinement : case studies using the B method
-
E. Sekerinski and K. Sere (eds.)
Springer-Verlag c1999 Formal approaches to computing and information technology (FACIT)
: pbk
所蔵館7館
-
7
- Constructing correct software : the basics
-
John Cooke
Springer c1998 Formal approaches to computing and information technology (FACIT)
pbk. : alk. paper
所蔵館6館
-
8
- Proof in VDM : case studies
-
J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.]
Springer-Verlag c1998 Formal approaches to computing and information technology (FACIT)
: pbk
所蔵館11館
-
9
- Formal methods in human-computer interaction
-
Philippe Palanque and Fabio Paternò, eds
Springer c1998 Formal approaches to computing and information technology (FACIT)
Berlin : pbk. : acid-free paper
所蔵館13館
-
10
- A theory and practice of program development
-
Derek Andrews
Springer c1997 Formal approaches to computing and information technology (FACIT)
: pbk.
所蔵館13館
-
11
- Formal methods and object technology
-
S.J. Goldsack and S.J.H. Kent, eds.
Springer c1996 Formal approaches to computing and information technology (FACIT)
所蔵館8館
-
12
- The B language and method : a guide to practical formal development
-
K. Lano
Springer c1996 Formal approaches to computing and information technology (FACIT)
所蔵館6館
-
13
- Formal object-oriented development
-
K. Lano
Springer c1995 Formal approaches to computing and information technology (FACIT)
: pbk
所蔵館13館
-
14
- Notations for software design
-
by Loe M.G. Feijs, Hans B.M. Jonkers and Cornelis A. Middelburg
Springer-Verlag c1994 Formal approaches to computing and information technology (FACIT)
: gw
所蔵館12館
-
15
- Systems, models and measures
-
by Agnes Kaposi and Margaret Myers
Springer c1994 Formal approaches to computing and information technology (FACIT)
: uk , : gw
所蔵館9館
-
16
- On the refinement calculus
-
edited by Carroll Morgan and Trevor Vickers
Springer-Verlag 1994 Formal approaches to computing and information technology (FACIT)
: us , : gw
所蔵館14館
-
17
- Proof in VDM : a practitioner's guide
-
by Juan C. Bicarregui ... [et al.]
Springer-Verlag c1994 Formal approaches to computing and information technology (FACIT)
: us , : gw
所蔵館17館