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
E-book
Electronic resources
Record details
- ISBN: 9783642397219
-
Physical Description:
electronic
electronic resource
access
remote
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) |