Artículos relacionados a 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) - Tapa blanda
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
- EditorialSpringer
- Año de publicación2013
- ISBN 10 3642397204
- ISBN 13 9783642397202
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas296
- EditorLiu Zhiming, Woodcock Jim, Zhu Huibiao
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 53,49
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Unifying Theories of Programming and Formal Engineering...
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
Publicado por
Springer Berlin Heidelberg, 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. Nº de ref. del artículo: 24086071/12
Cantidad disponible: 1 disponibles
Imagen del vendedor
Unifying Theories of Programming and Formal Engineering Methods
Publicado por
Springer Berlin Heidelberg Jul 2013, 2013
ISBN 10: 3642397204
ISBN 13: 9783642397202
Nuevo
Taschenbuch
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
Cantidad disponible: 2 disponibles
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
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
Cantidad disponible: 1 disponibles
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)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783642397202_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Unifying Theories of Programming and Formal Engineering Methods
Publicado por
Springer Berlin Heidelberg, 2013
ISBN 10: 3642397204
ISBN 13: 9783642397202
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 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
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering Ictac 2013
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 19836283-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai,
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783642397202
Cantidad disponible: 10 disponibles
Imagen del vendedor
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering Ictac 2013
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 19836283-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Unifying Theories of Programming and Formal Engineering Methods
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2013, 2013
ISBN 10: 3642397204
ISBN 13: 9783642397202
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. 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
Cantidad disponible: 2 disponibles
Imagen de archivo
Unifying Theories of Programming and Formal Engineering Methods
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 296. Nº de ref. del artículo: 2648027667
Cantidad disponible: 4 disponibles