Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Konev, Boris (Editor), Wolter, Frank (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4720
• Subjects: Computer science.; Computer programming.; Software engineering.; Computers.; Mathematical logic.; Artificial intelligence.; Computer Science.; Theory of Computation.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Programming Techniques.; Software Engineering.
• Physical Description: X, 286 p. online resource.
• ISBN: 9783540746218
• ISSN: 0302-9743 ;