| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. ... Notes in Computer Science , Band 873) | 978-3-540-58555-8 (3-540-58555-9) | 2008 | Maurice Naftalin · Tim Denvir |
| Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ... Notes in Computer Science , Band 1231) | 978-3-540-63010-4 (3-540-63010-4) | 2008 | Teodor Rus |
M B · Magali Bertrand · Michael Barthorp · Michael Barthorpe · Michael Barthrop · Michael Barthurp · Michael Bertram · Michael Bertrand · Michael Boarder · Michael Brater · Michael Brettreich · Michael Broder · Michael Broderick · Michael Brodrick · Michael Brotherton · Michael Bruter · Michel Berder · Michel Bertrand · Michel Bridier · Michèle Bertrand · Mikyla Bruder