Miculan, Marino

ID:DA13083452

同姓同名の著者を検索

検索結果2件中 1-2 を表示

1

Types for proofs and programs : international conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007 : revised selected papers

Marino Miculan, Ivan Scagnetto, Furio Honsell (eds.)

Springer c2008 Lecture notes in computer science 4941

: pbk

所蔵館1館
2

Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

Furio Honsell, Marino Miculan (eds.)

Springer c2001 Lecture notes in computer science 2030

所蔵館35館

この著者を外部サイトでさがす

関連著者

ページトップへ