R. S. · Robert F. Stärk · Robert S. · Stärk, Robert
| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Abstract State Machines: A Method for High-Level System Design and Analysis | Taschenbuch | 978-3-642-62116-1 (3-642-62116-3) | 2013 | Egon Börger |
| Abstract State Machines: A Method for High-Level System Design and Analysis | Gebunden | 978-3-540-00702-9 (3-540-00702-4) | 2003 | " |
| Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings | Taschenbuch | 978-3-540-42752-0 (3-540-42752-X) | 2001 | Reinhard Kahle · Peter Schroeder-Heister |