Jump to main content

yr 〜
yr

Search results 6

Proof and system-reliability. : NATO Advanced Study Institute on proof and system-reliability : Marktoberdorf summer school 2001 on proof and system-reliability : Jul 2001, Marktoberdorf, Germany. (NATO Science Series. Series II, Mathematics, Physics, and Chemistry ; 62)

Proof and system-reliability. : NATO Advanced Study Institute on proof and system-reliability : Marktoberdorf summer school 2001 on proof and system-reliability : Jul 2001, Marktoberdorf, Germany. (NATO Science Series. Series II, Mathematics, Physics, and Chemistry ; 62)
Paper図書
Kluwer Academic Publishersc2002.<M17-03-4282>
National Diet Library
  • Author HeadingSchwichtenberg, Helmut, 1942- Steinbrüggen, Ralf. NATO Advanced Study Institute...

Engineering theories of software construction. : NATO Advanced Study Institute on engineering theories of software construction : 21st international summer school on engineering theories of software construction : Jul 2000, Marktoberdorf, Germany. (NATO Science Series. Series III, Computer and Systems Sciences ; 180)

Engineering theories of software construction. : NATO Advanced Study Institute on engineering theories of software construction : 21st international summer school on engineering theories of software construction : Jul 2000, Marktoberdorf, Germany. (NATO Science Series. Series III, Computer and Systems Sciences ; 180)
Paper図書
IOS Pressc2001.<M17-03-2384>
National Diet Library
  • Author HeadingHoare, A. G. Broy, M., 1949- Steinbrüggen, Ralf. NATO Advanced Study Institute...

Proof and system-reliability : pbk

Proof and system-reliability : pbk
Paper図書
edited by Helmut Schwichtenberg and Ralf SteinbrüggenKluwer Academicc2002
Other Libraries in Japan

Engineering theories of software construction : IOS Press : Ohmsha

Engineering theories of software construction : IOS Press : Ohmsha
Paper図書
edited by Tony Hoare, Manfred Broy and Ralf SteinbrüggenIOS Pressc2001
Other Libraries in Japan

Foundations of computation : IOS Press : Ohmsha

Foundations of computation : IOS Press : Ohmsha
Paper図書
edited by Friedrich L. Bauer, Ralf SteinbrüggenIOS Pressc2000
Other Libraries in Japan

Calculational system design : IOS Press : Ohmsha

Calculational system design : IOS Press : Ohmsha
Paper図書
edited by Manfred Broy, Ralf SteinbrüggenIOS Pressc1999
Other Libraries in Japan

Reached to the end of result.

RSS