Blank Cover Image
所蔵情報QRコード

Software engineering mathematics : formal methods demystified / Jim Woodcock, Martin Loomes

資料種別:
図書
出版情報:
London : Pitman, 1988
形態:
[7], 291 p. ; 25 cm
著者名:
ISBN:
9780273026730 [0273026739]
書誌ID:
BA04404286
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

ICFEM, Dong, Jin Song, 1967-, Woodcock, James

Springer
7 図書 Larch : languages and tools for formal specification (: us ; : gw)

Guttag, John, Horning, J. J. (James J.)

Springer-Verlag
2 電子ブック Formal Methods and Software Engineering

International Conference on Formal Engineering Methods, Dong, Jin Song, Woodcock, Jim

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
8 電子ブック Unifying Theories of Programming and Formal Engineering Methods

Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao, Woodcock, Jim, Zhu, Huibiao

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Introduction to discrete mathematics

Bradley, James, 1943-

Addison-Wesley
9 図書 Software engineering (: pbk.)

Sommerville, Ian

Addison-Wesley
4 図書 An introduction to discrete mathematics and formal system specification

Ince, Darrel C.

Clarendon Press
10 図書 Software engineering

Thorin, Marc

Butterworths
5 電子ブック Software Engineering and Formal Methods

Camara, Steffen, Martin

SpringerLink Books - AutoHoldings, Springer International Publishing
11 図書 Mathematical methods in program development

Broy, M., 1949-, Schieder, Birgit, NATO Advanced Study Institute on Mathematical Methods in Program Development

Springer
6 電子ブック FME '93: Industrial-Strength Formal Methods

Woodcock

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
12 図書 Programming and mathematical method (: gw ; : us)

Broy, M., 1949-

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12