7 treff

Using collaborations in the development of distributed services
Humberto Nicolás Castejón, Gregor von Boc...
Bok Engelsk 2008
Investigating the realizability of collaboration-based service specifications
Castejón, Humberto Nicolás
Bok Engelsk 2007
Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
CAV '92
Bok Engelsk 1993
Protocol specification, testing, and verification, VI : proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification
IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification
Bok Språk ikke angitt 1987
Concepts for distributed systems design
Gregor von Bochmann
Bok Engelsk 1983
Architecture of distributed computer systems
Bochmann, Gregor von
Bok Engelsk 1979
Die Entwicklung der Sæugetierwirbel der hinteren Kørperregionen
Bochmann, Gregor von
Bok Engelsk 1934