>> Google Books

Rigorous Software Development : An Introduction to Program Verification

フォーマット:
電子ブック
責任表示:
by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
言語:
英語
出版情報:
London : Springer-Verlag London Limited, 2011
形態:
v.: digital
著者名:
シリーズ名:
Undergraduate Topics in Computer Science ;
書誌ID:
NB02224149
ISBN:
9780857290182 [0857290185]  CiNii Books  Webcat Plus  Google Books
学内からのみアクセスすることができます。
子書誌情報
Loading
オンライン
http://dx.doi.org/10.1007/978-0-85729-018-2
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised …

Bove, Ana, Barbosa, Luis Soares, Pardo, Alberto, Pinto, Jorge Sousa, SpringerLink (Online service)

Springer Berlin Heidelberg
7 電子ブック Algebraic Methodology and Software Technology : 11th International Conference AMAST 2006 Kuressaare Estonia July 5-82006 Proceedings

Johnson Michael, Vene Varmo, SpringerLink (Online service)

Springer-Verlag GmbH.
2 電子ブック Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

Fiadeiro, Jose Luiz, Orejas, Fernando, Mosses, Peter, SpringerLink (Online service)

Springer-Verlag GmbH.
8 電子ブック Logic, Language and Meaning : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

Aloni, Maria, Bastiaanse, Harald, Jager, Tikitu, Schulz, Katrin, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
3 電子ブック Recent Trends in Algebraic Development Techniques : 18th International Workshop WADT 2006 La Roche en Ardenne Belgium June 1-32006 Revised Selected Papers

Fiadeiro Jose Luiz, Schobbens Pierre-Yves, SpringerLink (Online service)

Springer-Verlag
9 電子ブック Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Fiadeiro, Jose Luis, Rutten, Jan, Roggenbach, Markus, Harman, Neil, SpringerLink (Online service)

Springer-Verlag GmbH.
4 電子ブック Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Hutchison, David, Terzopoulos, Demetri, Steffen, Bernhard, Vardi, Moshe Y., Nierstrasz, Oscar, Mitchell, John C., …

Springer-Verlag
10 電子ブック Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings

Jouannaud, Jean-Pierre, Shao, Zhong, SpringerLink (Online service)

Springer-Verlag GmbH Berlin Heidelberg
5 電子ブック Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Degano, Pierpaolo, Meseguer, Jose, Nicola, Rocco, SpringerLink (Online service)

Springer-Verlag
11 電子ブック Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Palsberg, Jens, SpringerLink (Online service)

Springer Berlin Heidelberg
6 電子ブック Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

Petrenko, Alexandre, Simão, Adenilso, Maldonado, José Carlos, SpringerLink (Online service)

IFIP International Federation for Information Processing
12 電子ブック Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. …

Swart, Harrie, SpringerLink (Online service)

Springer Berlin Heidelberg