Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
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). |