‹ zurück Sie sind hier:  Startseite » Buchhändler » MARZIES.de Buch- und Medienhan… » Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

Linksbuch Neu neu Rechtsbuch

Qin, Shengchao (Herausgeber)

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings (Kartoniert / Broschiert / Paperback)


Reihe: Lecture Notes in Computer Science 6445

Springer-Verlag GmbH, November 2010


308 S. - Sprache: Englisch - 238x155x20 mm Book

ISBN: 364216689X EAN: 9783642166891

This book constitutes the proceedings of the Third International Symposium on Unifying Theories of Programming (UTP 2010) held at East China Normal University,Shanghai,China,November15-16,2010inconjunctionwiththe12th International Conference on Formal Engineering Methods (ICFEM 2010). This symposium followed on the success of the ?rst one, held at Walworth Castle (Durham, UK) in 2006, and the second, held at Trinity College (Dublin, Ireland) in 2008. Based on the pioneering work of C.A.R. Hoare, He Jifeng, and others on unifying theories of programming, the aims of this symposium series are, as stated in UTP 2008, to continue to rea?rm the signi?cance of the ongoing UTP project, to encourage e?orts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the bene?ts of such a unifying theoretical framework among the wider computer science and software engineering communities. TheprogramfortheUTP2010symposiumincludesoneinvitedtutorial,three invited talks, and 12 regular paper presentations. I would like to warmly thank ourinvitedspeakers,AnaCavalcanti,HeJifeng,Je?SandersandJimWoodcock, as well asall the authors,for their enthusiasticand engagedparticipation in this event.


Preis: 74,89 EUR
Versandkosten: 0,00 EUR
Gesamtpreis: 74,89 EUR
In den Warenkorb

Anbieter: MARZIES.de Buch- und Medienhan… (Impressum/Lieferzeit)
Katalog: HC/Informatik

Angebotene Zahlungsarten: Vorauskasse
Transparente Bestellabwicklung - Verkäufer nutzt Order-Control - klicken für mehr Information
Transparente Bestellabwicklung -
Verkäufer nutzt Order-Control

 

Produktdetails

-

Inhaltsverzeichnis

Specification Coverage for Testing in Circus.- UTP and Sustainability.- A Probabilistic BPEL-Like Language.- On Modelling User Observations in the UTP.- Unifying Theories of Confidentiality.- Saoithín: A Theorem Prover for UTP.- A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs.- Programmable Verifiers in Imperative Programming.- Unifying Theories in Isabelle/HOL.- Unifying Recursion in Partial, Total and General Correctness.- Halting Still Standing - Programs versus Specifications.- Promoting Models.- Probabilistic Choice, Reversibility, Loops, and Miracles.- Towards a Pomset Semantics for a Shared-Variable Parallel Language.- Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language.


ISBN 3-642-16689-X

ISBN 978-3-642-16689-1

Buch empfehlen Buch empfehlen
Sparen Sie Versandkosten beim Kauf weiterer Artikel dieses Buchhändlers.

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TAC von Abdulla, Parosh Aziz (Herausgeber); Leino, K. Rustan M. (Herausgeber)
89,99 EUR

Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2 von Mäkinen, Veli (Herausgeber); Puglisi, Simon J. (Herausgeber); Salmela, Leena (Herausgeber)
74,89 EUR

Agile Methods 7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016, Revised Selec von Silva da Silva, Tiago (Herausgeber); Estácio, Bernardo (Herausgeber); Kroll, Josiane (Herausgeber);
64,19 EUR

Contemporary Computing Third International Conference, IC3 2010, Noida, India, August 9-11, 2010. Pr von Ranka, Sanjay (Herausgeber); Banerjee, Arunava (Herausgeber); Biswas, Kanad Kishore (Herausgeber); D
96,29 EUR

Web-Age Information Management WAIM 2012 International Workshops: GDMM 2012, IWSN 2012, MDSP 2012, U von Zhifeng, Bao (Herausgeber); Gao, Yunjun (Herausgeber); Gu, Yu (Herausgeber); Guo, Longjiang (Herausg
74,99 EUR

Vor- und Nachteile von Cloud Computing von Frei, Frank; Frischbier, Anne
14,99 EUR
Meine zuletzt angesehenen antiquarischen und neue Bücher
Meine letzten Buch Suchanfragen
    Noch keine Suchanfragen vorhanden.

© 2003 - 2018 by whSoft GmbH
Entdecken Sie außerdem: Antiquariatsportal · Achtung-Bücher.de · Booklink · Buchhai - Bücher Preisvergleich
Alle genannten Preise sind Bruttopreise und enthalten, soweit nicht anders vom Verkäufer angegeben, die gesetzliche Umsatzsteuer.