Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Record details
- ISBN: 9783642397219
- Physical Description: XII, 283 p. 50 illus. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Search for related items by subject
Subject: | Computer science. Software engineering. Information theory. Artificial intelligence. Computer Science. Theory of Computation. Software Engineering. Artificial Intelligence (incl. Robotics). |