close
1.

電子ブック
ＥＢ
1. 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
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-018-2
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
edited by Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Lecture Notes in Computer Science ; 5520
オンライン: http://dx.doi.org/10.1007/978-3-642-03153-3
所蔵情報: loading…