Jump to main content

yr 〜
yr

Search results 10

FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)

FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)
Paper図書
Springer-Verlagc2003.<M17-04-1289>
National Diet Library
  • Author Heading...tefania, 1954- Mandrioli, Dino. International Symposium of F...

Fundamentals of software engineering 2nd ed

Fundamentals of software engineering 2nd ed
Paper図書
Carlo Ghezzi, Mehdi Jazayeri, Dino MandrioliPrentice Hallc2003
Other Libraries in Japan
  • Author HeadingGhezzi, Carlo Jazayeri, Mehdi Mandrioli, Dino

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Paper図書
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingInternational Symposium of Formal Methods Europe 荒木, 啓二郎 Gnesi, Stefania Mandrioli, Dino

The art and craft of computing pbk.

The art and craft of computing pbk.
Paper図書
S. Ceri, D. Mandrioli, L. SbattellaAddison Wesleyc1998
Other Libraries in Japan
  • Author HeadingCeri, Stefano Mandrioli, Dino Sbattella, L. (Licia)

Formal methods for real-time computing

Formal methods for real-time computing
Paper図書
edited by Constance Heitmeyer and Dino MandrioliJohn Wileyc1996
Other Libraries in Japan
  • Author HeadingHeitmeyer, Constance L. Mandrioli, Dino

Theoretical foundations of computer science Reprint ed

Theoretical foundations of computer science Reprint ed
Paper図書
Dino Mandrioli, Carlo GhezziKrieger Pub. Co.1993, c1987
Other Libraries in Japan
  • Author HeadingMandrioli, Dino Ghezzi, Carlo

Advances in object-oriented software engineering

Advances in object-oriented software engineering
Paper図書
edited by Dino Mandrioli and Bertrand MeyerPrentice Hall1992
Other Libraries in Japan
  • Author HeadingMandrioli, Dino Meyer, Bertrand

Fundamentals of software engineering

Fundamentals of software engineering
Paper図書
Carlo Ghezzi, Mehdi Jazayeri, Dino MandrioliPrentice Hallc1991
Other Libraries in Japan
  • Author HeadingGhezzi, Carlo Jazayeri, Mehdi Mandrioli, Dino

Ｔｈｅｏｒｅｔｉｃａｌ　ｆｏｕｎｄａｔｉｏｎｓ　ｏｆ　ｃｏｍｐｕｔｅｒ　ｓｃｉｅｎｃｅ

Ｔｈｅｏｒｅｔｉｃａｌ　ｆｏｕｎｄａｔｉｏｎｓ　ｏｆ　ｃｏｍｐｕｔｅｒ　ｓｃｉｅｎｃｅ
Paper図書
ＤｉｎｏＭａｎｄｒｉｏｌｉ，ＣａｒｌｏＧｈｅｚｚｉ． ;Ｗｉｌｅｙｃ１９８７．
Other Libraries in Japan
  • Author HeadingＭａｎｄｒｉｏｌｉ, Ｄｉｎｏ． Ｇｈｅｚｚｉ, Ｃａｒｌｏ．

Theoretical foundations of computer science : pbk

Theoretical foundations of computer science : pbk
Paper図書
Dino Mandrioli, Carlo GhezziWileyc1987
Other Libraries in Japan
  • Author HeadingMandrioli, Dino Ghezzi, Carlo

Reached to the end of result.

RSS