Jump to main content

yr 〜
yr

Search results 4

Abstract state machines : a method for high-level system design and analysis

Abstract state machines : a method for high-level system design and analysis
Paper図書
Egon Börger, Robert StärkSpringerc2003
Other Libraries in Japan
  • Author HeadingBörger, Egon Stärk, Robert F.

Java and the Java virtual machine : definition, verification, validation

Java and the Java virtual machine : definition, verification, validation
Paper図書
Robert F. Stärk, Joachim Schmid, Egon BörgerSpringerc2001
Other Libraries in Japan
  • Author HeadingStärk, Robert F. Schmid, Joachim Börger, Egon

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
Paper図書
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingProof Theory in Computer Science Kahle, Reinhard Schroeder-Heister, Peter Joseph Stärk, Robert F.

Proof theory in computer science : international seminar, PTCS 2001 : Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings. : Oct 2001, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2183)

Proof theory in computer science : international seminar, PTCS 2001 : Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings. : Oct 2001, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2183)
Paper図書
Springerc2001.<M17-03-2295>
National Diet Library
  • Author Heading... Joseph, 1953- Stärk, Robert F., 1963- PTCS 2001 (2001 : Dags...

Reached to the end of result.

RSS