Items related to Unifying Theories of Programming and Formal Engineering...

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 - Softcover

 
9783642397226: 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

This specific ISBN edition is currently not available.

Synopsis

rCOS: Defining Meanings of Component-Based Software Architectures.- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.- Unifying Theories of Programming in Isabelle.- FORMULA 2.0: A Language for Formal Specifications.- Formal Modelling, Analysis and Verification of Hybrid Systems.

"synopsis" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2013
  • ISBN 10 3642397220
  • ISBN 13 9783642397226
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642397202: Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... (Lecture Notes in Computer Science, 8050)

Featured Edition

ISBN 10:  3642397204 ISBN 13:  9783642397202
Publisher: Springer, 2013
Softcover