本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springer-Verlagc2003.<M17-04-1289>
国立国会図書館
  • 著者標目...tefania, 1954- Mandrioli, Dino. International Symposium of F...

Fundamentals of software engineering 2nd ed

Fundamentals of software engineering 2nd ed
紙図書
Carlo Ghezzi, Mehdi Jazayeri, Dino MandrioliPrentice Hallc2003
全国の図書館
  • 著者標目Ghezzi, 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
紙図書
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)Springerc2003
全国の図書館
  • 著者標目International Symposium of Formal Methods Europe 荒木, 啓二郎 Gnesi, Stefania Mandrioli, Dino

The art and craft of computing pbk.

The art and craft of computing pbk.
紙図書
S. Ceri, D. Mandrioli, L. SbattellaAddison Wesleyc1998
全国の図書館
  • 著者標目Ceri, Stefano Mandrioli, Dino Sbattella, L. (Licia)

Formal methods for real-time computing

Formal methods for real-time computing
紙図書
edited by Constance Heitmeyer and Dino MandrioliJohn Wileyc1996
全国の図書館
  • 著者標目Heitmeyer, Constance L. Mandrioli, Dino

Theoretical foundations of computer science Reprint ed

Theoretical foundations of computer science Reprint ed
紙図書
Dino Mandrioli, Carlo GhezziKrieger Pub. Co.1993, c1987
全国の図書館
  • 著者標目Mandrioli, Dino Ghezzi, Carlo

Advances in object-oriented software engineering

Advances in object-oriented software engineering
紙図書
edited by Dino Mandrioli and Bertrand MeyerPrentice Hall1992
全国の図書館
  • 著者標目Mandrioli, Dino Meyer, Bertrand

Fundamentals of software engineering

Fundamentals of software engineering
紙図書
Carlo Ghezzi, Mehdi Jazayeri, Dino MandrioliPrentice Hallc1991
全国の図書館
  • 著者標目Ghezzi, Carlo Jazayeri, Mehdi Mandrioli, Dino

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

Ｔｈｅｏｒｅｔｉｃａｌ　ｆｏｕｎｄａｔｉｏｎｓ　ｏｆ　ｃｏｍｐｕｔｅｒ　ｓｃｉｅｎｃｅ
紙図書
ＤｉｎｏＭａｎｄｒｉｏｌｉ，ＣａｒｌｏＧｈｅｚｚｉ． ;Ｗｉｌｅｙｃ１９８７．
全国の図書館
  • 著者標目Ｍａｎｄｒｉｏｌｉ, Ｄｉｎｏ． Ｇｈｅｚｚｉ, Ｃａｒｌｏ．

Theoretical foundations of computer science : pbk

Theoretical foundations of computer science : pbk
紙図書
Dino Mandrioli, Carlo GhezziWileyc1987
全国の図書館
  • 著者標目Mandrioli, Dino Ghezzi, Carlo

検索結果は以上です。

RSS