Articoli correlati 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, ... on Software Engineering Ictac 2013: 8050 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2013
- ISBN 10 3642397204
- ISBN 13 9783642397202
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine296
- RedattoreLiu Zhiming, Woodcock Jim, Zhu Huibiao
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Unifying Theories of Programming and Formal Engineering...
Foto dell'editore
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
Editore:
Springer Berlin Heidelberg, 2013
ISBN 10: 3642397204
ISBN 13: 9783642397202
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher. Codice articolo 24086071/12
Quantità: 1 disponibili
Immagini fornite dal venditore
Unifying Theories of Programming and Formal Engineering Methods
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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 . Codice articolo 5059402
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Unifying Theories of Programming and Formal Engineering Methods
Editore:
Springer Berlin Heidelberg Jul 2013, 2013
ISBN 10: 3642397204
ISBN 13: 9783642397202
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642397202
Quantità: 2 disponibili
Immagini fornite dal venditore
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
Editore:
Springer Berlin Heidelberg, 2013
ISBN 10: 3642397204
ISBN 13: 9783642397202
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642397202
Quantità: 1 disponibili
Immagini fornite dal venditore
Unifying Theories of Programming and Formal Engineering Methods
ISBN 10: 3642397204
ISBN 13: 9783642397202
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783642397202
Quantità: 2 disponibili
Immagini fornite dal venditore
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering Ictac 2013
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 19836283-n
Quantità: Più di 20 disponibili
Foto dell'editore
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642397202_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering Ictac 2013
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 19836283-n
Quantità: Più di 20 disponibili
Foto dell'editore
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai,
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783642397202
Quantità: 10 disponibili
Foto dell'editore
Unifying Theories of Programming and Formal Engineering Methods
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 296. Codice articolo 2648027667
Quantità: 4 disponibili