Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

>> Google Books

Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

フォーマット:

電子ブック

責任表示:

edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 6217

書誌ID:

NB02221066

ISBN:

9783642150579 [3642150578]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-642-15057-9

所蔵情報

タイトルが類似している資料

詳細

主題:	Artificial Intelligence (incl. Robotics); Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering
分類・件名:	LCSH : Computer science LCSH : Software engineering LCSH : Logic design LCSH : Artificial intelligence FREE : Computer Science FREE : Software Engineering FREE : Logics and Meanings of Programs FREE : Programming Languages, Compilers, Interpreters FREE : Programming Techniques FREE : Mathematical Logic and Formal Languages FREE : Artificial Intelligence (incl. Robotics)
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings Hutchison, David, Kleinberg, Jon M., Kanade, Takeo, Shankar, Natarajan, Kittler, Josef, Steffen, Bernhard, Terzopoulos, … Springer-Verlag	7 電子ブック Functional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings Blume, Matthias, Kobayashi, Naoki, Vidal, German, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
2 電子ブック Computer Aided Verification : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings Touili, Tayssir, Cook, Byron, Jackson, Paul, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	8 電子ブック Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on … Esparza, Javier, Majumdar, Rupak, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg
3 電子ブック Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected … Meyer, Bertrand, Woodcock, Jim, SpringerLink (Online service) Springer-Verlag	9 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected … Clarke, Edmund M., Voronkov, Andrei, SpringerLink (Online service) Springer Berlin Heidelberg
4 電子ブック Unifying Theories of Programming : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings Qin, Shengchao, SpringerLink (Online service) Springer Berlin Heidelberg	10 電子ブック Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers Johnson, Michael, Pavlovic, Dusko, SpringerLink (Online service) Springer Berlin Heidelberg
5 電子ブック Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings Etessami, Kousha, Rajamani, Sriram K., SpringerLink (Online service) Springer-Verlag GmbH.	11 電子ブック Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers Beckert, Bernhard, Marché, Claude, SpringerLink (Online service) Springer Berlin Heidelberg
6 電子ブック Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. … Romanovsky, Alexander, Vardanega, Tullio, SpringerLink (Online service) Springer Berlin Heidelberg	12 電子ブック Programming Languages and Systems (vol. # 3444) : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory … Sagiv, Mooly, SpringerLink (Online service) Springer-Verlag GmbH.