Autorenfreundlich Bücher kaufen?!
Beschreibung
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007.
The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 25. Mai 2007 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 505 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540729198 |
| Seiten | 317 |
Schlagwörter
Betriebssysteme, Compiler und Übersetzer, Compilers and Interpreters, Computer Communication Networks, Computer Science Logic and Foundations of Programming, Computerprogrammierung und Softwareentwicklung, Netzwerk-Hardware, Operating Systems, Programming Techniques, Software Engineering, Theoretische Informatik
Herstellerinformationen
Bekannt durch
