Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings

Corporate Author: SpringerLink (Online service)
Other Authors: Bolduc, Claude (Editor), Desharnais, Jules (Editor), Ktari, Bechir (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Theoretical Computer Science and General Issues
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 01711nmm a2200397 u 4500
001 EB000384522
003 EBX01000000000000000237574
005 00000000000000.0
007 cr|||||||||||||||||||||
008 130626 ||| eng
020 |a 9783642133213 
100 1 |a Bolduc, Claude  |e [editor] 
245 0 0 |a Mathematics of Program Construction  |h Elektronische Ressource  |b 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings  |c edited by Claude Bolduc, Jules Desharnais, Bechir Ktari 
250 |a 1st ed. 2010 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2010, 2010 
300 |a X, 427 p. 57 illus  |b online resource 
505 0 |a 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 -- 
653 |a Mathematical Logic and Formal Languages 
653 |a Software engineering 
653 |a Computer science 
653 |a Immunology 
653 |a Software Engineering/Programming and Operating Systems 
653 |a Immunology 
653 |a Logics and Meanings of Programs 
653 |a Logic design 
653 |a Programming Techniques 
653 |a Software Engineering 
700 1 |a Desharnais, Jules  |e [editor] 
700 1 |a Ktari, Bechir  |e [editor] 
710 2 |a SpringerLink (Online service) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
856 |u https://doi.org/10.1007/978-3-642-13321-3?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1