東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(著者名に左の語を含む: #Broy M.)
該当件数:12件
Specification and development of interactive systems : focus on streams,interfaces, and refinement / Manfred Broy, Ketil Stølen
New York : Springer , c2001. - (Monographs in computer science)
図書
Requirements targeting software and systems engineering : International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997 : proceedings / Manfred Broy, Bernhard Rumpe, eds
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science. ISSN:0302-9743 ; 1526)
KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy, Stefan Jähnichen (eds.)
Berlin : Springer , c1995. - New York. - (Lecture notes in computer science ; 1009)
Formal systems specification : the RPC-Memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1169)
Methods of programming : selected papers on the CIP-project / M. Broy, M. Wirsing, (eds.)
Berlin : Springer-Verlag , c1991. - Tokyo. - (Lecture notes in computer science ; 544)
Program construction : international summer school / F.L. Bauer ... [et al.] ; edited by F.L. Bauer and M. Broy
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science ; 69)
Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Berlin : Springer , c1996. - New York. - (Lecture notes in computer science ; 1169)
Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)
Berlin : Springer-Verlag , c1996. - (Lecture notes in computer science ; 1181)
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin,(eds.)
Berlin : Springer-Verlag , c1993. - New York. - (Lecture notes in computer science ; 735)
Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings / Manfred Broy, Bernhard Rumpe (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1526)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1181)
Perspectives of system informatics : third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1755)