检索条件： Formal methods of program verification and specification ( 题名 )

检索结果共有10条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Formal methods of program verification and specification
责任者 Helmut K. Berg

出版信息 Prentice-Hall, Inc. ,1982

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Helmut K. Berg.Formal methods of program verification and specification.Prentice-Hall, Inc.,1982.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/25714
复制引文到剪贴板

Formal methods of program verification and specification

Helmut K. Berg.Prentice-Hall, Inc.,1982.
2 图书 Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures /
责任者 BOER, Frank S. de.

出版信息 Springer, ,c2007.

ISBN 978-3-540-74791-8 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
BOER, Frank S. de..Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/266695
复制引文到剪贴板

Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures /

BOER, Frank S. de..Springer,,c2007..
3 图书 Logic in computer science : modelling and reasoning about systems /
责任者 Michael Huth, Mark Ryan.

出版信息

ISBN 9780521543101 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Michael Huth, Mark Ryan..Logic in computer science : modelling and reasoning about systems /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/709708
复制引文到剪贴板

Logic in computer science : modelling and reasoning about systems /

Michael Huth, Mark Ryan..,.
4 图书 Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures /
责任者 Bernardo, Marco.,Degano, Pierpaolo,,Zavattaro, Gianluigi.

出版信息 Springer, ,c2008.

ISBN 9783540688921 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bernardo, Marco.,Degano, Pierpaolo,,Zavattaro, Gianluigi..Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/294937
复制引文到剪贴板

Formal methods for computational systems biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures /

Bernardo, Marco.,Degano, Pierpaolo,,Zavattaro, Gianluigi..Springer,,c2008..
5 图书 Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 : advanced lectures /
责任者 Bernardo, Marco.,Hillston, J.

出版信息 Springer, ,c2007.

ISBN 978-3-540-72482-7 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bernardo, Marco.,Hillston, J..Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 : advanced lectures /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/261195
复制引文到剪贴板

Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 : advanced lectures /

Bernardo, Marco.,Hillston, J..Springer,,c2007..
6 图书 Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /
责任者 Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi.

出版信息 Springer, ,2009.

ISBN 9783642019173 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi..Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /.Springer,,2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/292792
复制引文到剪贴板

Formal methods for web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures /

Bernardo, Marco.,Padovani, Luca.,Zavattaro, Gianluigi..Springer,,2009..
7 图书 Introduction to computational contact mechanics : a geometrical approach /
责任者 Alexander Konyukhov, Karlsruhe Institute of Technology (KIT), Germany, Ridvan Izi, Karlsruhe Institute of Technology (KIT), Germany.

出版信息

ISBN 9781118770658 (hardback) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Alexander Konyukhov, Karlsruhe Institute of Technology (KIT), Germany, Ridvan Izi, Karlsruhe Institute of Technology (KIT), Germany..Introduction to computational contact mechanics : a geometrical approach /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/526823
复制引文到剪贴板

Introduction to computational contact mechanics : a geometrical approach /

Alexander Konyukhov, Karlsruhe Institute of Technology (KIT), Germany, Ridvan Izi, Karlsruhe Institute of Technology (KIT), Germany..,.
8 图书 Verification of object-oriented software : the KeY approach /
责任者 Beckert, Bernhard.,H?hnle, Reiner.,Schmitt, P. H.

出版信息 Springer, ,c2007.

ISBN 978-3-540-68977-5 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Beckert, Bernhard.,H?hnle, Reiner.,Schmitt, P. H..Verification of object-oriented software : the KeY approach /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/266556
复制引文到剪贴板

Verification of object-oriented software : the KeY approach /

Beckert, Bernhard.,H?hnle, Reiner.,Schmitt, P. H..Springer,,c2007..
9 图书 Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /
责任者 Lee, David.,Lopes, Antónia.,Poetzsch-Heffter, Arnd.

出版信息 Springer, ,c2009.

ISBN 9783642021374 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Lee, David.,Lopes, Antónia.,Poetzsch-Heffter, Arnd..Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /.Springer,,c2009..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/292727
复制引文到剪贴板

Formal techniques for distributed systems : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /

Lee, David.,Lopes, Antónia.,Poetzsch-Heffter, Arnd..Springer,,c2009..
10 图书 Transactions on computational collective intelligence XVI /
责任者 Ngoc Thanh Nguyen, Ryszard Kowalczyk (eds.).

出版信息 Springer, ,c2014.

ISBN 9783662448700 :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ngoc Thanh Nguyen, Ryszard Kowalczyk (eds.)..Transactions on computational collective intelligence XVI /.Springer,,c2014..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/528346
复制引文到剪贴板

Transactions on computational collective intelligence XVI /

Ngoc Thanh Nguyen, Ryszard Kowalczyk (eds.)..Springer,,c2014..

通借成功!

预约成功!