Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Unifying Theories of Programming and Formal Engine...

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

Unifying Theories of Programming and Formal Engineering Methods( )
Editor: Liu, Zhiming
Woodcock, Jim
Zhu, Huibiao
Series title:Lecture Notes in Computer Science Ser.
ISBN:978-3-642-39720-2
Publication Date:Jul 2013
Publisher:Springer
Book Format:Paperback
List Price:USD $83.00
Book Description:

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...
More Description

Book Details
Pages:283
Detailed Subjects: Computers / Software Development & Engineering / General
Computers / Programming / General
Physical Dimensions (W X L X H):6.045 x 9.165 x 0.242 Inches
Book Weight:1.003 Pounds

Book Seller

Condition

Price

Shipping

Total

Loading Stock Details...


NEW!
Bowker Bookwire™ App

Bookwire is a mobile app for your iPhone that gives you the ability to scan a barcode or enter ISBN, access book records and add titles to wish lists. Android app on Google Play

Featured Books

Born to Run
Springsteen, Bruce
Electronic book text: $32.50
Behind Closed Doors
Paris, B. A.
Hardback: $25.99
Thrice the Brinded Cat Hath Mew'd
Bradley, Alan
Hardback: $26.00

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.