2010, ISBN: 9783642133213
This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinci… Mehr…
ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2010, ISBN: 9783642133213
Mathematics of Program Construction ab 94.99 € als pdf eBook: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings. Aus dem Bereich: eBooks, Fachthe… Mehr…
Hugendubel.de Nr. Versandkosten:, , DE. (EUR 0.00) Details... |
Mathematics of Program Construction : 10th International Conference, MPC 2010, Quebec City, Canada, June 21-23, 2010, Proceedings - neues Buch
2010, ISBN: 9783642133213
; PDF; Scientific, Technical and Medical > Clinical & internal medicine > Diseases & disorders > Immunology, Springer Berlin Heidelberg
hive.co.uk No. 9783642133213. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2010, ISBN: 9783642133213
Mathematics of Program Construction ab 94.99 EURO 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings Medien > Bücher, [PU: Springer, Berlin/Heidel… Mehr…
eBook.de Nr. Versandkosten:, , DE. (EUR 0.00) Details... |
ISBN: 9783642133213
There is currently no description available Books > Computer Science eBook, Springer Shop
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2010, ISBN: 9783642133213
This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- encesaimtopromotethedevelopmentofmathematicalprinci… Mehr…
2010, ISBN: 9783642133213
Mathematics of Program Construction ab 94.99 € als pdf eBook: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings. Aus dem Bereich: eBooks, Fachthe… Mehr…
Mathematics of Program Construction : 10th International Conference, MPC 2010, Quebec City, Canada, June 21-23, 2010, Proceedings - neues Buch
2010
ISBN: 9783642133213
; PDF; Scientific, Technical and Medical > Clinical & internal medicine > Diseases & disorders > Immunology, Springer Berlin Heidelberg
2010, ISBN: 9783642133213
Mathematics of Program Construction ab 94.99 EURO 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings Medien > Bücher, [PU: Springer, Berlin/Heidel… Mehr…
ISBN: 9783642133213
There is currently no description available Books > Computer Science eBook, Springer Shop
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Mathematics of Program Construction
EAN (ISBN-13): 9783642133213
Erscheinungsjahr: 2010
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-07-19T09:43:11+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-22T04:04:36+01:00 (Vienna)
ISBN/EAN: 9783642133213
ISBN - alternative Schreibweisen:
978-3-642-13321-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: claude, böhme böhme, jules
Titel des Buches: conference quebec, mathematics program construction, proceedings construction
Daten vom Verlag:
Autor/in: Claude Bolduc; Jules Desharnais; Bechir Ktari
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Mathematics of Program Construction - 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
Verlag: Springer; Springer Berlin
427 Seiten
Erscheinungsjahr: 2010-06-26
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 427 p. 57 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; CSP; automated program construction; automated program verification; correct software; correctness; dynamic programming; formal methods; garbage collection; generic programming; kleene algebra; predicative programming; process algebras; process semantics; programming; programming language; C; Software Engineering; Immunology; Programming Techniques; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Immunologie; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; BC
Invited Talks.- The Algorithmics of Solitaire-Like Games.- Compositionality of Secure Information Flow.- Process Algebras for Collective Dynamics.- Contributed Talks.- On Automated Program Construction and Verification.- The Logic of Large Enough.- Dependently Typed Grammars.- Abstraction of Object Graphs in Program Verification.- Subtyping, Declaratively.- Compositional Action System Derivation Using Enforced Properties.- Designing an Algorithmic Proof of the Two-Squares Theorem.- Partial, Total and General Correctness.- Unifying Theories of Programming That Distinguish Nontermination and Abort.- Adjoint Folds and Unfolds.- An Abstract Machine for the Old Value Retrieval.- A Tracking Semantics for CSP.- Matrices as Arrows!.- Lucy-n: a n-Synchronous Extension of Lustre.- Sampling, Splitting and Merging in Coinductive Stream Calculus.- Generic Point-free Lenses.- Formal Derivation of Concurrent Garbage Collectors.- Temporal Logic Verification of Lock-Freedom.- Gradual Refinement.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030336356 Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings Graham Hutton Editor (Herausgegeben:Hutton, Graham)
- 9783030336356 Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings Graham Hutton Editor (Herausgegeben:Hutton, Graham)
- 9780387773544 Payment for Environmental Services in Agricultural Landscapes (Leslie Lipper; Takumi Sakuyama; Randy Stringer)
- 9780387729718 Payment for Environmental Services in Agricultural Landscapes (David Zilberman; Leslie Lipper; Takumi Sakuyama; Leslie Lipper; Takumi Sakuyama; Randy Stringer; Randy Stringer; David Zilberman; David Zilberman.)
- 9780387566252 Payment for Environmental Services in Agricultural Landscapes (Richard S. Bird, C. C. Morgan)
- 9780387729695 Payment for Environmental Services in Agricultural Landscapes (Leslie Lipper; Takumi Sakuyama; Randy Stringer; David Zilberman)
- 9783877296905 Zur Kommunion alle guten Wünsche (Lipper, L.; Sakuyama, T.; Stringer, R.; Zilberman, D.,)
- Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7?9, 2019, Proceedings (Lecture Notes in Computer Science Book 11825) (English Edition) (Tarmo Uustalu)
< zum Archiv...