Unifying Theories of Programming and Formal Engineering Methods

. Ed(s): Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao

ISBN 10: 3642397204 ISBN 13: 9783642397202

Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

Nuevos Encuadernaci�n de tapa blanda

Librer�a: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda Calificaci�n del vendedor: 5 de 5 estrellas

Vendedor de AbeBooks desde 27 de febrero de 2001

Este art�culo en concreto ya no est� disponible.

Ver los art�culos de este vendedor Crear una petici�n para art�culos similares

Ver todos los ejemplares de este libro

Descripci�n

Editor(s): Liu, Zhiming; Woodcock, Jim; Zhu, Huibiao. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 283 pages, 50 black & white illustrations, biography. BIC Classification: UMZ; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 456. . 2013. Paperback. . . . . N� de ref. del art�culo V9783642397202

Denunciar este art�culo

Sinopsis:

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.

De la contraportada: 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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Detalles bibliogr�ficos

T�tulo: Unifying Theories of Programming and Formal ...
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
A�o de publicaci�n: 2013
Encuadernaci�n: Encuadernaci�n de tapa blanda
Condici�n: New

Los mejores resultados en AbeBooks

Imagen de archivo

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

Unbekannt

Publicado por Springer, 2013

ISBN 10: 3642397204 ISBN 13: 9783642397202

Antiguo o usado Tapa blanda

Librería: Buchpark, Trebbin, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: B�cher | Keine Beschreibung verf�gbar. N� de ref. del art�culo: 24086071/12

Contactar al vendedor

Comprar usado

EUR 35,42

Env�o por EUR 105,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Unifying Theories of Programming and Formal Engineering Methods

Liu, Zhiming|Woodcock, Jim|Zhu, Huibiao

Publicado por Springer Berlin Heidelberg, 2013

ISBN 10: 3642397204 ISBN 13: 9783642397202

Nuevo Tapa blanda

Impresi�n bajo demanda

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 4 de 5 estrellas

Condici�n: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Thoroughly revised tutorial lectures Aimed at postgraduate students, researchers, academics, and industrial engineers Presents state of the art in Unifying Theories of Programming and Formal Engineering Methods This book presents 5 . N� de ref. del art�culo: 5059402

Contactar al vendedor

Comprar nuevo

EUR 48,37

Env�o por EUR 48,99
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

M�s im�genes

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

Zhiming Liu (u. a.)

Publicado por Springer, 2013

ISBN 10: 3642397204 ISBN 13: 9783642397202

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: preigu, Osnabr�ck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. 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 | Zhiming Liu (u. a.) | Taschenbuch | xii | Englisch | 2013 | Springer | EAN 9783642397202 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N� de ref. del art�culo: 105719188

Contactar al vendedor

Comprar nuevo

EUR 50,25

Env�o por EUR 70,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

A�adir al carrito

Imagen de archivo

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

Publicado por Springer, 2013

ISBN 10: 3642397204 ISBN 13: 9783642397202

Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. N� de ref. del art�culo: ABLIING23Mar3113020225955

Contactar al vendedor

Comprar nuevo

EUR 52,85

Env�o por EUR 3,44
Se env�a dentro de Estados Unidos de America

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Unifying Theories of Programming and Formal Engineering Methods

Zhiming Liu

Publicado por Springer Berlin Heidelberg, J.B. Metzler Jul 2013, 2013

ISBN 10: 3642397204 ISBN 13: 9783642397202

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - Print on Demand Titel. Neuware -InhaltsangaberCOS: 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.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch. N� de ref. del art�culo: 9783642397202

Contactar al vendedor

Comprar nuevo

EUR 53,49

Env�o por EUR 60,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Unifying Theories of Programming and Formal Engineering Methods

Zhiming Liu

Publicado por Springer Berlin Heidelberg Jul 2013, 2013

ISBN 10: 3642397204 ISBN 13: 9783642397202

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 296 pp. Englisch. N� de ref. del art�culo: 9783642397202

Contactar al vendedor

Comprar nuevo

EUR 53,49

Env�o por EUR 23,00
Se env�a de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

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

Zhiming Liu

Publicado por Springer Berlin Heidelberg, 2013

ISBN 10: 3642397204 ISBN 13: 9783642397202

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N� de ref. del art�culo: 9783642397202

Contactar al vendedor