TY  - BOOK
AU  - Abrial,Jean-Raymond
AU  - Glasser,Uwe
ED  - SpringerLink (Online service)
TI  - Rigorous methods for software construction and analysis: essays dedicated to Egon Borger on the occasion of his 60th birthday 
SN  - 9783642114472
U1  - 004.0151 22
PY  - 2009///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Formal methods (Computer science)
KW  - Algorithms
KW  - Computing Methodologies
KW  - Mathematics of Computing
KW  - Algorithm Analysis and Problem Complexity
KW  - Mathematical Logic and Formal Languages
KW  - Theory of Computation
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-11447-2
ER  -