Articles liés à 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 - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2013
- ISBN 10 3642397204
- ISBN 13 9783642397202
- ReliureBroché
- Langueanglais
- Nombre de pages296
- ÉditeurLiu Zhiming, Woodcock Jim, Zhu Huibiao
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Unifying Theories of Programming and Formal Engineering...
Image d'archives
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
Edité par
Springer Berlin Heidelberg, 2013
ISBN 10 : 3642397204
ISBN 13 : 9783642397202
Ancien ou d'occasion
Couverture souple
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 24086071/12
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Unifying Theories of Programming and Formal Engineering Methods
Edité par
Springer Berlin Heidelberg, 2013
ISBN 10 : 3642397204
ISBN 13 : 9783642397202
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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 réf. du vendeur 5059402
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
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
Edité par
Springer Berlin Heidelberg, 2013
ISBN 10 : 3642397204
ISBN 13 : 9783642397202
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783642397202
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Unifying Theories of Programming and Formal Engineering Methods
Edité par
Springer Berlin Heidelberg Jul 2013, 2013
ISBN 10 : 3642397204
ISBN 13 : 9783642397202
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783642397202
Quantité disponible : 2 disponible(s)
Image d'archives
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Computer Science and General Issues)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642397202_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai,
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642397202
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Unifying Theories of Programming and Formal Engineering Methods
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2013, 2013
ISBN 10 : 3642397204
ISBN 13 : 9783642397202
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783642397202
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering Ictac 2013
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19836283-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering Ictac 2013
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 19836283-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Unifying Theories of Programming and Formal Engineering Methods
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 296. N° de réf. du vendeur 2648027667
Quantité disponible : 4 disponible(s)