|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
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 (Paperback, 2013 ed.)
Loot Price: R1,540
Discovery Miles 15 400
|
|
|
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 (Paperback, 2013 ed.)
Series: Theoretical Computer Science and General Issues, 8050
Expected to ship within 10 - 15 working days
|
This book presents 5 tutorial lectures by leading researchers given
at the ICTAC 2013 Software Engineering School on Unifying Theories
of Programming and Formal Engineering Methods, held in Shanghai,
China in August 2013.The lectures are aimed at postgraduate
students, researchers, academics, and industrial engineers. They
cover topics such as component-based and service-oriented systems,
real-time systems, hybrid systems, cyber physical systems, and
present techniques such as inductive theorem proving, model
checking, correction by construction through refinement and model
transformations, synthesis, and computer algebra. Two of the
courses are explicitly related to Hoare and He's Unifying Theories
of Programming.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
