Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference : proceedings, FMOODS and 30th IFIP WG 6.1 international conference : proceedings, FORTE, Amsterdam, The Netherlands, June 7-9, 2010 (e-book)
Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference : proceedings, FMOODS and 30th IFIP WG 6.1 international conference : proceedings, FORTE, Amsterdam, The Netherlands, June 7-9, 2010 (e-book)
- Berlin Springer 2010
- Lecture Notes in Computer Science (LNCS) v.6117 LNCS Sublibrary : SL 2 – Programming and Software Engineering .
978-3-642-13464-7
Computer Science and Engineering
Electronic data processing --Distributed processing --Congresses
Object-oriented programming(Computer science)--Congresses
Formal methods (Computer science)--Congresses
978-3-642-13464-7
Computer Science and Engineering
Electronic data processing --Distributed processing --Congresses
Object-oriented programming(Computer science)--Congresses
Formal methods (Computer science)--Congresses