Mega Collection of computer science and programming related books Formal methods Weiss Deductive verification of object oriented software dynamic frames dynamic logic and predicate abstraction phd thesis Karlsruhe 2011 ISBN 3866446233 600dpi 294s djvu

Mega Collection of computer science and programming related books
Formal methods Weiss Deductive verification of object oriented software dynamic frames dynamic logic and predicate abstraction phd thesis Karlsruhe 2011 ISBN 3866446233 600dpi 294s djvu

Name	Mega Collection of computer science and programming related books	DOWNLOAD Copy Link Trouble downloading? see How To
Total Size	5.4 GB
Total Files	1323
Last Seen	2025-06-17 23:39
Hash	8CD8C7BECEDCE94F0EA833013012B4EA0A9C19B8

/Formal methods/Weiss B. Deductive verification of object-oriented software.. dynamic frames, dynamic logic and predicate abstraction (phd thesis, Karlsruhe, 2011)(ISBN 3866446233)(600dpi)(T)(C)(O)(294s).djvu	2.1 MB
/Formal methods/Dromey G. Program derivation.. development of programs from specifications (AW, 1989)(ISBN 0201416247)(600dpi)(T)(648s)_CsAl_.djvu	4.9 MB
/Formal methods/Linz P. An Introduction to Formal Languages and Automata (3ed., JaB, 2001)(ISBN 0763714224)(600dpi)(K)(T)(425s)_CsAl_.djvu	9.1 MB
/Formal methods/Berard B., Bidoit M., Finkel A., et al. Systems and Software Verification.. Model-Checking Techniques and Tools (Springer, 2001)(ISBN 3540415238)(600dpi)(T)(O)(201s)_CsAl_.djvu	1.6 MB
/Formal methods/Gill A. Introduction to the theory of finite-state machines (MGH, 1962)(ISBN 0070232431)(600dpi)(T)(218s)_CsAl_.djvu	2.5 MB
/Formal methods/Tennent R.D. Specifying Software.. A Hands-On Introduction (CUP, 2002)(ISBN 0521004012)(600dpi)(T)(O)(302s)_CsAl_.djvu	2.1 MB
/Formal methods/Brookes S.D. A model for communicating sequential processes (phd thesis, Oxford, 1983)(600dpi)(T)(188s)_CsF_.djvu	999.1 KB
/Formal methods/Graham T.C. Declarative Development of Interactive Systems (Oldenbourg, 1995)(ISBN 3486234307)(600dpi)(T)(190s)_CsAl_.djvu	1.2 MB
/Formal methods/Liskov B., Guttag J. Abstraction and specification in program development (2pr., MIT, MGH, 1987)(ISBN 0262121123)(600dpi)(T)(486s)_CsAl_.djvu	3.2 MB
/Formal methods/Manna Z., Pnueli A. The Temporal Logic of Reactive and Concurrent Systems.. Specification (Springer, 1991)(ISBN 0387976647)(600dpi)(T)(443s)_CsAl_.djvu	2.9 MB
/Formal methods/Gries D. The science of programming (Springer, 1981)(ISBN 038790641X)(600dpi)(T)(379s)_CsAl_.djvu	2.6 MB
/Formal methods/Manna Z., Pnueli A. Temporal Verification of Reactive Systems.. Safety (Springer, 1995)(ISBN 9780387944593)(600dpi)(T)(531s)_CsAl_.djvu	4.6 MB
/Formal methods/Sampaio A. An algebraic approach to compiler design (phd thesis, report PRG-110, Oxford, 1993)(600dpi)(T)(167s)_CsAl_.djvu	3.7 MB
/Programming languages/Fritzson P. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1 (Wiley, 2004)(ISBN 0471471631)(600dpi)(T)(O)(917s)_CsPl_.djvu	21.2 MB
/Formal methods/Allison L. A Practical Introduction to Denotational Semantics (CUP, 1987)(ISBN 0521306892)(600dpi)(T)(146s)_CsPl_.djvu	975.0 KB
Showing first 15 files of 1323 total files