Zur Startseite wechseln
CHF 0.00
Kategorien
E-Books / Audio-Downloads / Reader
E-Books englisch
Naturwissenschaften / Medizin / Informatik / Technik
Produktbild
Zhiming (Hrsg.) Liu

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

Ebook (PDF Format)

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… Mehr

CHF 64.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails

Weitere Autoren: Woodcock, Jim (Hrsg.) / Zhu, Huibiao (Hrsg.)
  • ISBN: 978-3-642-39721-9
  • EAN: 9783642397219
  • Produktnummer: 33366547
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2013
  • Seitenangabe: 283 S.
  • Plattform: PDF
  • Masse: 5'531 KB
  • Abbildungen: 50 schwarz-weiße Abbildungen, Bibliographie
  • Reihenbandnummer: 8050

33 weitere Werke von Zhiming (Hrsg.) Liu:

Produktbild
Formal Methods and Software Engineering
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 179.00
Produktbild
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 193.00
Produktbild
Formal Methods and Hybrid Real-Time Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 136.00
Produktbild
Formal Aspects of Component Software
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 80.00
Produktbild
Engineering Trustworthy Software Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 65.00
Produktbild
Automated Technology for Verification and Analysis
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 120.00
Produktbild
Dependable Software Engineering: Theories, Tools, and Applications
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 100.00
Produktbild
Engineering Trustworthy Software Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 80.00
Produktbild
Theoretical Aspects of Computing -- ICTAC 2013
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 89.00
Produktbild
Theories of Programming and Formal Methods
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 89.00
Produktbild
Domain Modeling and the Duration Calculus
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 86.00
Produktbild
Engineering Trustworthy Software Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 84.00
Produktbild
Theoretical Aspects of Computing - ICTAC 2004
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 144.00
Produktbild
Dependable Software Engineering: Theories, Tools, and Applications
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 57.00
Produktbild
Theoretical Aspects of Computing - ICTAC 2004
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 140.00
Produktbild
Formal Aspects of Component Software
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 66.50
Produktbild
Formal Methods and Hybrid Real-Time Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 133.50
Produktbild
Theories of Programming and Formal Methods
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 73.50
Produktbild
Theoretical Aspects of Computing -- ICTAC 2013
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 73.50
Produktbild
Engineering Trustworthy Software Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 66.50
Produktbild
Theoretical Aspects of Computing - ICTAC 2007
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 106.50
Produktbild
Engineering Trustworthy Software Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 68.50
Produktbild
Engineering Trustworthy Software Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 68.50
Produktbild
Engineering Trustworthy Software Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 78.00
Produktbild
Automated Technology for Verification and Analysis
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 130.00
Produktbild
Theoretical Aspects of Computing - ICTAC 2007
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 114.00
Produktbild
Foundations of Health Informatics Engineering and Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 66.00
Produktbild
Foundations of Health Informatics Engineering and Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 61.50
Produktbild
Formal Methods and Software Engineering
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 173.50
Produktbild
Domain Modeling and the Duration Calculus
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 80.00
Produktbild
Engineering Trustworthy Software Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Ebook (PDF Format)
CHF 68.50
Produktbild
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
Buch
CHF 77.00
Produktbild
Engineering Trustworthy Software Systems
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Buch
CHF 84.00

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...