Welcome to the “World Lending Library”

[ICO]NameSize
[DIR]Parent Directory -
[IMG]Bergstra J., Ponse A., Smolka S. Handbook of Process Algebra (Elsevier, 2001)(ISBN 9780444828309)(T)(1357s)_CsAl_.djvu 10M
[IMG]Hopcroft, Motwani, Ullman. Introduction to automata theory, languages and computation (2ed. AW 2001)(T)(ISBN 0201441241)(537s).djvu8.8M
[IMG]Linz P. An Introduction to Formal Languages and Automata (3ed., JaB, 2001)(ISBN 0763714224)(600dpi)(K)(T)(425s)_CsAl_.djvu8.7M
[IMG]Bjorner D. Software Engineering 1.. Abstraction and Modelling (Springer, 2006)(ISBN 9783540211495)(T)(O)(735s)_CsAl_.djvu8.0M
[IMG]Gris D. Nauka programmirovaniya(Mir, 1984)(600dpi)(T)(416s)(ru)(KA)_CsAl_.djvu6.7M
[IMG]Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(600dpi)(T)(533s)_CsAl_.djvu6.4M
[PDF]Lectures and papers on computational logic (2008)(758s)-o.pdf6.4M
[IMG]Bjorner D. Software Engineering 3 (Springer 2006)(600dpi)(T)(774s)_CsAl_.djvu6.1M
[IMG]Berstel J. Transductions and context-free languages (Teubner, 1979)(ISBN 9783519023401)(600dpi)(T)(282s)_Cs_.djvu6.0M
[IMG]Sangiorgi D., Walker D. The pi-calculus.. a theory of mobile processes (CUP, 2001)(ISBN 0521781779)(600dpi)(T)(592s)_CsF_.djvu5.7M
[IMG]Matematicheskaya logika v programmirovanii (sbornik statej) (Mir 1991)(ru) (600dpi)(K)(T)(408s)_Cs_.djvu5.6M
[IMG]Gries D. (ed.) Programming methodology (Springer, 1978)(ISBN 0387903291)(600dpi)(T)(454s)_CsAl_.djvu4.9M
[IMG]Dromey G. Program derivation.. development of programs from specifications (AW, 1989)(ISBN 0201416247)(600dpi)(T)(648s)_CsAl_.djvu4.7M
[IMG]Mosses P.D. Action semantics (CUP, 2005)(ISBN 0521403472)(600dpi)(T)(O)(394s)_CsPl_.djvu4.5M
[IMG]Dejkstra E. (_Dijkstra_) Disciplina programmirovaniya (M.Mir, 1978)(ru)(K)(600dpi)(T)(275s)_CsAl_.djvu4.5M
[PDF]Baier C., Katoen J. Principles of Model Checking (MIT, 2008)(ISBN 9780262026499)(O)(994s)_CsAl_.pdf4.3M
[PDF]Droste M., Kuich W., Vogler H. (eds.) Handbook of weighted automata (Springer, 2009)(ISBN 3642014917)(O)(610s)_CsAl_.pdf4.0M
[PDF]Holzmann G.J. The SPIN Model Checker.. Primer and Reference Manual (AW, 2003)(ISBN 9780321228628)(O)(690s).pdf3.9M
[IMG]Ramsay A.M. Formal Methods in Artificial Intelligence (CUP, 1988)(ISBN 0521352363)(600dpi)(T)(286s)_CsAi_.djvu3.9M
[PDF]Amadio R., Curien P.L. Domains and Lambda-calculi (draft, 1996)(ISBN 0521622778)(536s)_Cs_.pdf3.7M
[IMG]Sampaio A. An algebraic approach to compiler design (phd thesis, report PRG-110, Oxford, 1993)(600dpi)(T)(167s)_CsAl_.djvu3.6M
[PDF]Alexander M., Gardner W. Process algebra for parallel and distributed processing (CRC, 2009)(ISBN 142006486X)(440s)_CsAl_.pdf3.5M
[IMG]Gill A. Linejnye posledovatel'nostnye mashiny(Nauka, 1974)(600dpi)(T)(288s)(KA)(ru)_CsAl_.djvu3.4M
[IMG]Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(T)(533s).djvu3.4M
[IMG]McNaughton R. Elementary computability, formal languages, and automata (PH, 1982)(ISBN 0132535009)(600dpi)(T)(O)(417s)_Cs_.djvu3.3M
[IMG]Deville Y. Logic Programming.. Systematic Program Development (AW, 1990)(ISBN 9780201175769)(600dpi)(T)(358s)_CsAl_.djvu3.3M
[IMG]Manna Z. Mathematical theory of computation (McGH, 1974)(ISBN 0070399107)(600dpi)(T)(O)(459s)_CsAl_.djvu3.1M
[IMG]Carroll J., Long D. Theory of finite automata (PH, 1989)(ISBN 0139137084)(T)(447s)_CsAl_.djvu3.1M
[IMG]Bergstra J.A., Heering J. Algebraic Specification (ACM, 1989)(ISBN 9780201416350)(600dpi)(T)(413s)_CsAl_.djvu3.0M
[IMG]Dejkstra E'. (_Dijkstra_) Disciplina programmirovaniya (Mir, 1978)(ru)(600dpi)(T)(277s)_CsAl_.djvu2.8M
[IMG]Fencott C. Formal Methods for Concurrency (Thomson, 1996)(ISBN 1850321736)(600dpi)(T)(306s)_CsAl_.djvu2.8M
[IMG]Murray F.J. The theory of mathematical machines (Rev.ed., King's Crown, 1947)(ASIN B0007EA3B0)(600dpi)(T)(123s)_Cs_.djvu2.6M
[IMG]Gries D. The science of programming (Springer, 1981)(ISBN 038790641X)(600dpi)(T)(379s)_CsAl_.djvu2.5M
[IMG]Bird R., de Moor O. Algebra of programming (PH, 1997)(ISBN 013507245X)(600dpi)(T)(314s)_CsAl_.djvu2.5M
[IMG]Gill A. Introduction to the theory of finite-state machines (MGH, 1962)(ISBN 0070232431)(600dpi)(T)(218s)_CsAl_.djvu2.4M
[IMG]Winskel G. Events in computation (phd thesis, Edinburgh, 1980)(T)(O)(294s)_CsF_.djvu2.4M
[IMG]Arbib M.A. (ed.) Algebraic Theory of Machines, Languages and Semigroups (AP, 1968)(ISBN 0120590506)(KA)(T)(373s)_CsAl_.djvu2.3M
[IMG]Eilenberg S. Automata, languages, and machines. Volume A (AP, 1974)(ISBN 0122340019)(T)(469s)_CsAl_.djvu2.3M
[IMG]Hamburger H., Richards D. Logic and language models for computer science (PH, 2002)(ISBN 0130654876)(T)(346s)_CsAl_.djvu2.3M
[IMG]Maibaum T.S.E., Turski W.M. The Specification of Computer Programs (AW, 1987)(ISBN 0201142260)(600dpi)(T)(O)(287s)_CsPl_.djvu2.2M
[IMG]Jacky J. The Way of Z.. Practical Programming with Formal Methods (CUP, 1996)(ISBN 9780521559768)(600dpi)(T)(370s)_CsPl_.djvu2.2M
[IMG]Wood D. Grammars and L-forms.. an introduction (LNCS0091, Springer, 1980)(ISBN 3540102337)(T)(323s)_CsAl_.djvu2.2M
[IMG]Clarke E.M., Grumberg O., Peled D.A. Model checking (MIT, 2000)(ISBN 0262032708)(600dpi)(T)(336s)_CsAl_.djvu2.1M
[IMG]Kobrinskii N., Trakhtenbrot B. Introduction to the theory of finite automata (SLFM038, NH, 1965)(ISBN 0444534032)(T)(342s)_CsAl_.djvu2.1M
[IMG]Tennent R.D. Specifying Software.. A Hands-On Introduction (CUP, 2002)(ISBN 0521004012)(600dpi)(T)(O)(302s)_CsAl_.djvu2.0M
[IMG]Milner R. Communication and Concurrency (PH, 1995)(ISBN 9780131150072)(600dpi)(T)(274s)_CsAl_.djvu2.0M
[PDF]Drechsler R. (ed.) Advanced formal verification (Springer, 2004)(ISBN 9781402077210)(O)(276s)_CsAl_.pdf1.9M
[IMG]Hehner E.C.R. The logic of programming (PH, 1984)(ISBN 0135399661)(600dpi)(T)(368s)_CsAl_.djvu1.9M
[IMG]Gill A. Vvedenie v teoriju konechnyh avtomatov (Nauka, 1966)(ru)(T)(272s)_CsAl_.djvu1.9M
[IMG]Ginzburg A. Algebraic theory of automata (AP, 1968)(ISBN 0122850505)(T)(173s)_CsAl_.djvu1.9M
[IMG]Clarke E.M., Grumberg O., Peled D.A. Model checking (no some pages)(MIT, 2000)(ISBN 0262032708)(K)(T)(326s)_CsAl_.djvu1.9M
[IMG]Savitch W.J. Abstract machines and grammars (Little, Brown, 1982)(ISBN 0316771619)(600dpi)(T)(O)(226s)_CsAl_.djvu1.8M
[IMG]Eilenberg S. Automata, languages, and machines. Volume B (AP, 1976)(ISBN 0122340027)(T)(403s)_CsAl_.djvu1.8M
[IMG]Stavely A.M. Toward zero-defect programming (AW, 1999)(ISBN 0201385953)(600dpi)(T)(258s)_CsF_.djvu1.8M
[IMG]Hoar Ch. (_Hoare_) Vzaimodejstvujushchie posledovatel'nye processy (Mir, 1989)(ISBN 5030010432)(ru)(T)(266s)_CsAl_.djvu1.8M
[IMG]Milner R. Communicating and mobile systems.. the pi-calculus (CUP, 1999)(ISBN 9780521643207)(KA)(T)(171s)_CsAl_.djvu1.8M
[IMG]Hopcroft J.E., Ullman J.D. Formal languages and their relation to automata (1ed., AW, 1969)(ASIN B000SQKPEW)(T)(253s)_CsAl_.djvu1.7M
[IMG]Hopcroft J.E., Ullman J.D. Formal languages and their relation to automata (1ed., AW, 1969)(ASIN B000SQKPEW)(T)(262s)_CsAl_.djvu1.7M
[PDF]Grumberg O. Formal Logical Methods for System Security and Correctness (IOS Press, 2008)(ISBN 9781586038434)(O)(332s)_CsAl_.pdf1.7M
[IMG]Ginsburg S. The mathematical theory of context-free languages (MGH, 1966)(ASIN B0000CNDEK)(T)(245s)_CsAl_.djvu1.7M
[PDF]Bhattacharya A., Konar A., Mandal A. Parallel and distributed logic programming (Springer, 2006)(301s)_CsAl_.pdf1.7M
[IMG]Holcombe M. Algebraic automata theory (CUP, 1982)(ISBN 0521231965)(400dpi)(T)(O)(238s)_CsAl_.djvu1.7M
[PDF]Cooke J. Constructing Correct Software (2ed., Springer, 2005)(ISBN 9783540761563)(O)(515s)_CsAl_.pdf1.7M
[IMG]Ostroff J.S. Temporal logic for real-time systems (Wiley, 1989)(ISBN 0471924024)(600dpi)(T)(224s)_CsAl_.djvu1.6M
[IMG]Dijkstra E.W. A discipline of programming (PH, 1976)(ISBN 013215871X)(600dpi)(T)(232s)_CsAl_.djvu1.6M
[PDF]Gabbar H.A. (eds.) Modern Formal Methods and Applications (Springer, 2006)(ISBN 9781402042232)(216s)_CsPl_.pdf1.6M
[PDF]Ito M., et al. (eds.) Automata, formal languages and algebraic systems (WS, 2010)(ISBN 9814317608)(O)(247s)_CsAl_.pdf1.6M
[PDF]Levelt W.J.M. Introduction to Theory of Formal Languages and Automata (John Benjamins, 2008)(ISBN 9027232504)(152s)_CsAl_.pdf1.5M
[IMG]Paulson L.C. Logic and Computation.. Interactive Proof with Cambridge LCF (CUP, 1990)(ISBN 9780521395601)(T)(316s).djvu1.5M
[IMG]Padawitz P. Deduction and Declarative Programming (CUP, 1992)(ISBN 9780521417235)(T)(285s)_CsAi_.djvu1.4M
[PDF]Hehner E.C.R. A practical theory of programming (free web version, 2012)(O)(256s).pdf1.4M
[PDF]Comon H., et al. Tree automata techniques and applications (web draft, 2005)(222s)_CsAl_.pdf1.4M
[ ]Holzmann G.J. The SPIN Model Checker.. Primer and Reference Manual (AW, 2003)(ISBN 9780321228628).chm1.3M
[PDF]Woodcock J., Davies J. Using Z.. Specification, Refinement, and Proof (PH, 1996)(ISBN 9780139484728)(O)(408s)_CsPl_.pdf1.2M
[IMG]Ito M. Algebraic theory of automata and languages(WS,2004)(T)(ISBN 9810247273)(202s)_CsPl_.djvu1.2M
[PDF]Woodcock, Davies. Using Z (free web version, 1999)(O)(407s)_CsPl_.pdf1.2M
[IMG]Graham T.C. Declarative Development of Interactive Systems (Oldenbourg, 1995)(ISBN 3486234307)(600dpi)(T)(190s)_CsAl_.djvu1.2M
[IMG]Kroeger F. Temporal Logic of Programs (Springer, 1987)(ISBN 0387170308)(600dpi)(T)(158s)_CsAl_.djvu1.1M
[PDF]Jay B. Pattern Calculus.. computing with patterns and structures (Springer, 2009)(ISBN 3540891846)(O)(213s)_CsAl_.pdf1.1M
[PDF]Hoare C.A.R. Communicating sequential processes (web version, 2003)(ISBN 0131532898)(260s)_CsAl_.pdf1.1M
[PDF]Fokkink W. Introduction to process algebra (2ed., Springer, 2007)(ISBN 354066579X)(175s)_CsAl_.pdf1.0M
[IMG]Brookes S.D. A model for communicating sequential processes (phd thesis, Oxford, 1983)(600dpi)(T)(188s)_CsF_.djvu1.0M
[IMG]Allison L. A Practical Introduction to Denotational Semantics (CUP, 1987)(ISBN 0521306892)(600dpi)(T)(146s)_CsPl_.djvu952K
[IMG]Ginsburg S. An introduction to mathematical machine theory (Addison, 1962)(ISBN 0201023903)(T)(157s)_CsAl_.djvu912K
[PDF]Winskel G. Topics in concurrency.. lecture notes (web draft, 2009)(134s)_CsF_.pdf664K
[PDF]Kaynar D.K., Lynch N., Segala R., Vaandrager F. The Theory of Timed I-O Automata (MC, 2006)(ISBN 159829010X)(114s)_CsAl_.pdf656K
[PDF]Smith G. The Object-Z Specification Language (Springer, 1999)(ISBN 9780792386841)(159s)_CsPl_.pdf576K
[PDF]Moszkowski B.C. Executing Temporal Logic Programs (free web version, CUP, 1986)(ISBN 0521310997)(O)(125s)_CsPl_.pdf491K
[IMG]Darlington. Sintez algoritmov sortirovki (ru)(T)(36s)_CsAl_.djvu316K
[IMG]Manna Z. Lectures on the logic of computer programming (SIAM, 1980)(ISBN 0898711649)(T)(O)(57s)_CsAl_.djvu312K
[PDF]Lamport L. Specifying systems.. errata (2010)(5s).pdf109K