Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, . Computer Science and General Issues)

ISBN 10: 3642397204 ISBN 13: 9783642397202

Verlag: Springer, 2013

Sprache: Englisch

Neu Zustand: New Softcover

F�r sp�ter vormerken

Verk�ufer Lucky's Textbooks, Dallas, TX, USA

Verk�uferbewertung 5 von 5 Sternen

AbeBooks-Verk�ufer seit 22. Juli 2022

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Preis: EUR 53,09 W�hrung umrechnen

EUR 64,92 f�r den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Bestandsnummer des Verk�ufers ABLIING23Mar3113020225955

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Unifying Theories of Programming and Formal ...

Verlag: Springer

Erscheinungsdatum: 2013

Einband: Softcover

Zustand: New

�ber diesen Titel

Inhaltsangabe:

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.

Von der hinteren Coverseite:

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Quality books, speedy shipping, and great customer service! Please note that used items may not include access codes or cards, CD's or other accessories, regardless of what is stated in item title. If you need to guarantee that these items are included, please purchase a brand new copy.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

J2B Holdings, LLC
13770 NOEL RD, #803600, Dallas, TX, 75240, U.S.A.

Gesch�ftsbedingungen:

We guarantee the condition of every book as it's described on the AbeBooks web
sites. Please note that used items may not include access codes or cards, CD's
or other accessories, regardless of what is stated in item title. If you need to
guarantee that these items are included, please purchase a brand new copy.

All requests for refunds and/or returns will be processed in accordance with
AbeBooks policies. If you're dissatisfied with your purchase (Incorrect Book/Not
as Described/Damaged) or if ...

Mehr Information

Versandinformationen:

Books ordered via expedited shipping should arrive between 2 and 7 business days after shipment confirmation. Books ordered via standard shipping should arrive between 4 and 14 business days after shipment confirmation.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu 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, . Computer Science and General Issues)

Neu - Softcover

Unternehmensdaten des Verk�ufers