Blank Cover Image
このページのQRコード

Advances in formal methods

種類:
図書
責任表示:
series editor, Michael Hinchey
出版情報:
Boston ; Dordrecht ; London : Kluwer Academic
著者名:
Hinchey, Michael G. (Michael Gerard), 1969- <DA09310131>  
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Understanding formal methods

Monin, Jean François, 1960-, Hinchey, Michael G. (...Michael Gerard...), 1969-

Springer
7 図書 FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, …

International Symposium of Formal Methods Europe, Gaudel, M.-C. (Marie-Claude), Woodcock, James

Springer-Verlag
2 図書 ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-

Springer
8 電子ブック FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, …

Gaudel, Marie-Claude, Woodcock, James, SpringerLink (Online service)

Springer-Verlag
3 図書 ZUM '98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings

International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Fett, Andreas, Hinchey, Michael G. (Michael &hellip;

Springer
9 電子ブック FME '96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, …

Gaudel, Marie-Claude., Woodcock, James., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
4 電子ブック ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Bowen, Jonathan P., Hinchey, Michael G., SpringerLink (Online service)

Springer-Verlag
10 電子ブック FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings

Woodcock, James C.P., Larsen, Peter G., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 電子ブック ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Bowen, Jonathan P., Hinchey, Michael G., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
11 図書 Formal methods in artificial intelligence

Delahaye, Jean-Paul

North Oxford
6 電子ブック FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Woodcock, James C. P., Larsen, Peter G., SpringerLink (Online service)

Springer-Verlag
12 図書 Formal methods and object technology

Goldsack, Stephen J., 1926-, Kent, S. J. H. (Stuart John Harding), 1966-

Springer