Index of /Books Magazines and other texts/Computer Science/Formal methods

[ICO]NameSize
[PARENTDIR]Parent Directory -
[ ]Aldini A., Bernardo M., Corradini F. A process algebraic approach to software architecture design (Springer, 2009)(ISBN 184800222X)(O)(321s)_CsAl_.pdf2.5M
[ ]Alexander M., Gardner W. Process algebra for parallel and distributed processing (CRC, 2009)(ISBN 142006486X)(440s)_CsAl_.pdf3.5M
[IMG]Allison L. A Practical Introduction to Denotational Semantics (CUP, 1987)(ISBN 0521306892)(600dpi)(T)(146s)_CsPl_.djvu952K
[ ]Amadio R., Curien P.L. Domains and Lambda-calculi (draft, 1996)(ISBN 0521622778)(536s)_Cs_.pdf3.7M
[IMG]Amtoft T., Nielson F., Nielson H.R. Type and Effect Systems.. Behaviours for Concurrency (WS, 1999)(ISBN 9781860941542)(600dpi)(T)(268s)_CsAl_.djvu1.5M
[ ]Apt K.R., de Boer F.S., Olderog E.-R. (eds.) Verification of sequential and concurrent programs (3ed., Springer, 2010)(ISBN 9781848827455)(O)(524s)_CsAl_.pdf2.1M
[IMG]Arbib M.A. (ed.) Algebraic Theory of Machines, Languages and Semigroups (AP, 1968)(ISBN 0120590506)(KA)(T)(373s)_CsAl_.djvu2.3M
[ ]Baeten J., Basten T., Reniers M. Process algebra.. Equational theories of communicating processes (CUP, 2010)(ISBN 0521820499)(O)(478s)_CsAl_.pdf1.6M
[ ]Baier C., Katoen J. Principles of Model Checking (MIT, 2008)(ISBN 9780262026499)(O)(994s)_CsAl_.pdf4.3M
[IMG]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 0
[IMG]Bergstra J., Ponse A., Smolka S. Handbook of Process Algebra (Elsevier, 2001)(ISBN 9780444828309)(T)(1357s)_CsAl_.djvu 10M
[IMG]Bergstra J.A., Heering J. Algebraic Specification (ACM, 1989)(ISBN 9780201416350)(600dpi)(T)(413s)_CsAl_.djvu3.0M
[IMG]Berstel J. Transductions and context-free languages (Teubner, 1979)(ISBN 9783519023401)(600dpi)(T)(282s)_Cs_.djvu6.0M
[ ]Bhattacharya A., Konar A., Mandal A. Parallel and distributed logic programming (Springer, 2006)(301s)_CsAl_.pdf1.7M
[IMG]Bird R., de Moor O. Algebra of programming (PH, 1997)(ISBN 013507245X)(600dpi)(T)(314s)_CsAl_.djvu2.5M
[IMG]Bjorner D. Software Engineering 1.. Abstraction and Modelling (Springer, 2006)(ISBN 9783540211495)(T)(O)(735s)_CsAl_.djvu8.0M
[IMG]Bjorner D. Software Engineering 2.. Specification of Systems and Languages (Springer, 2006)(ISBN 9783540211501)(T)(O)(783s)_CsAl_.djvu8.4M
[IMG]Bjorner D. Software Engineering 3 (Springer 2006)(600dpi)(T)(774s)_CsAl_.djvu6.1M
[ ]Bowen J. Formal Specification and Documentation Using Z.. A Case Study Approach (Thomson Computer Press, 1996)(ISBN 9781850322306)(315s)_CsPl_.pdf700K
[ ]Bowman H., Gomez R. Concurrency Theory.. Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Springer, 2005)(ISBN 9781852338954)(444s)_CsAl_.pdf1.6M
[ ]Bradley A., Manna Z. The calculus of computation.. Decision procedures with applications to verification (Springer, 2007)(ISBN 3540741127)(O)(375s)_CsAl_.pdf1.7M
[IMG]Brookes S.D. A model for communicating sequential processes (phd thesis, Oxford, 1983)(600dpi)(T)(188s)_CsF_.djvu1.0M
[IMG]Carroll J., Long D. Theory of finite automata (PH, 1989)(ISBN 0139137084)(T)(447s)_CsAl_.djvu3.1M
[IMG]Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(600dpi)(T)(533s)_CsAl_.djvu6.4M
[IMG]Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(T)(533s).djvu3.4M
[IMG]Clarke E.M., Grumberg O., Peled D.A. Model checking (MIT, 2000)(ISBN 0262032708)(600dpi)(T)(336s)_CsAl_.djvu2.1M
[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]Cohen E. Programming in the 1990's.. An Introduction to the Calculation of Programmes (Springer, 1990)(ISBN 9783540973829)(600dpi)(T)(286s)_CsAl_.djvu1.4M
[ ]Comon H., et al. Tree automata techniques and applications (web draft, 2005)(222s)_CsAl_.pdf1.4M
[ ]Cooke J. Constructing Correct Software (2ed., Springer, 2005)(ISBN 9783540761563)(O)(515s)_CsAl_.pdf1.7M
[IMG]Darlington. Sintez algoritmov sortirovki (ru)(T)(36s)_CsAl_.djvu316K
[ ]Dastani M., Hindriks K.V., Meyer J.C. (eds.) Specification and Verification of Multi-agent Systems (Springer, 2011)(ISBN 9781441969842)(O)(416s)_CsAl_.pdf3.6M
[IMG]Dejkstra E'. (_Dijkstra_) Disciplina programmirovaniya (Mir, 1978)(ru)(600dpi)(T)(277s)_CsAl_.djvu2.8M
[IMG]Dejkstra E. (_Dijkstra_) Disciplina programmirovaniya (M.Mir, 1978)(ru)(K)(600dpi)(T)(275s)_CsAl_.djvu4.5M
[IMG]Deville Y. Logic Programming.. Systematic Program Development (AW, 1990)(ISBN 9780201175769)(600dpi)(T)(358s)_CsAl_.djvu3.3M
[IMG]Dijkstra E.W. A discipline of programming (PH, 1976)(ISBN 013215871X)(600dpi)(T)(232s)_CsAl_.djvu1.6M
[ ]Drechsler R. (ed.) Advanced formal verification (Springer, 2004)(ISBN 9781402077210)(O)(276s)_CsAl_.pdf1.9M
[IMG]Dromey G. Program derivation.. development of programs from specifications (AW, 1989)(ISBN 0201416247)(600dpi)(T)(648s)_CsAl_.djvu4.7M
[ ]Droste M., Kuich W., Vogler H. (eds.) Handbook of weighted automata (Springer, 2009)(ISBN 3642014917)(O)(610s)_CsAl_.pdf4.0M
[IMG]Eilenberg S. Automata, languages, and machines. Volume A (AP, 1974)(ISBN 0122340019)(T)(469s)_CsAl_.djvu2.3M
[IMG]Eilenberg S. Automata, languages, and machines. Volume B (AP, 1976)(ISBN 0122340027)(T)(403s)_CsAl_.djvu1.8M
[IMG]Fencott C. Formal Methods for Concurrency (Thomson, 1996)(ISBN 1850321736)(600dpi)(T)(306s)_CsAl_.djvu2.8M
[ ]Fokkink W. Introduction to process algebra (2ed., Springer, 2007)(ISBN 354066579X)(175s)_CsAl_.pdf1.0M
[ ]Gabbar H.A. (eds.) Modern Formal Methods and Applications (Springer, 2006)(ISBN 9781402042232)(216s)_CsPl_.pdf1.6M
[IMG]Gill A. Introduction to the theory of finite-state machines (MGH, 1962)(ISBN 0070232431)(600dpi)(T)(218s)_CsAl_.djvu2.4M
[IMG]Gill A. Linejnye posledovatel'nostnye mashiny(Nauka, 1974)(600dpi)(T)(288s)(KA)(ru)_CsAl_.djvu3.4M
[IMG]Gill A. Vvedenie v teoriju konechnyh avtomatov (Nauka, 1966)(ru)(T)(272s)_CsAl_.djvu1.9M
[IMG]Ginsburg S. An introduction to mathematical machine theory (Addison, 1962)(ISBN 0201023903)(T)(157s)_CsAl_.djvu912K
[IMG]Ginsburg S. The mathematical theory of context-free languages (MGH, 1966)(ASIN B0000CNDEK)(T)(245s)_CsAl_.djvu1.7M
[IMG]Ginzburg A. Algebraic theory of automata (AP, 1968)(ISBN 0122850505)(T)(173s)_CsAl_.djvu1.9M
[IMG]Graham T.C. Declarative Development of Interactive Systems (Oldenbourg, 1995)(ISBN 3486234307)(600dpi)(T)(190s)_CsAl_.djvu1.2M
[IMG]Gries D. (ed.) Programming methodology (Springer, 1978)(ISBN 0387903291)(600dpi)(T)(454s)_CsAl_.djvu4.9M
[IMG]Gries D. The science of programming (Springer, 1981)(ISBN 038790641X)(600dpi)(T)(379s)_CsAl_.djvu2.5M
[IMG]Gris D. Nauka programmirovaniya(Mir, 1984)(600dpi)(T)(416s)(ru)(KA)_CsAl_.djvu6.7M
[ ]Grumberg O. Formal Logical Methods for System Security and Correctness (IOS Press, 2008)(ISBN 9781586038434)(O)(332s)_CsAl_.pdf1.7M
[IMG]Hamburger H., Richards D. Logic and language models for computer science (PH, 2002)(ISBN 0130654876)(T)(346s)_CsAl_.djvu2.3M
[IMG]Harary F., et al. Structural Models.. An Introduction to the Theory of Directed Graphs (Wiley, 1966)(ISBN 047135130X)(600dpi)(K)(T)(426s)_CsAl_.djvu3.6M
[ ]Hehner E.C.R. A practical theory of programming (free web version, 2012)(O)(256s).pdf1.4M
[IMG]Hehner E.C.R. The logic of programming (PH, 1984)(ISBN 0135399661)(600dpi)(T)(368s)_CsAl_.djvu1.9M
[IMG]Hoar Ch. (_Hoare_) Vzaimodejstvujushchie posledovatel'nye processy (Mir, 1989)(ISBN 5030010432)(ru)(T)(266s)_CsAl_.djvu1.8M
[ ]Hoare C.A.R. Communicating sequential processes (web version, 2003)(ISBN 0131532898)(260s)_CsAl_.pdf1.1M
[IMG]Holcombe M. Algebraic automata theory (CUP, 1982)(ISBN 0521231965)(400dpi)(T)(O)(238s)_CsAl_.djvu1.7M
[ ]Holzmann G.J. The SPIN Model Checker.. Primer and Reference Manual (AW, 2003)(ISBN 9780321228628)(O)(690s).pdf3.9M
[ ]Holzmann G.J. The SPIN Model Checker.. Primer and Reference Manual (AW, 2003)(ISBN 9780321228628).chm1.3M
[IMG]Hopcroft, Motwani, Ullman. Introduction to automata theory, languages and computation (2ed. AW 2001)(T)(ISBN 0201441241)(537s).djvu8.8M
[IMG]Hopcroft J.E., Motwani R., Ullman J.D. Introduction to automata theory, languages, and computation (2ed., AW, 2001)(ISBN 0201441241)(T)(537s)_CsAl_.djvu6.6M
[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
[ ]Ito M., et al. (eds.) Automata, formal languages and algebraic systems (WS, 2010)(ISBN 9814317608)(O)(247s)_CsAl_.pdf1.6M
[IMG]Ito M. Algebraic theory of automata and languages(WS,2004)(T)(ISBN 9810247273)(202s)_CsPl_.djvu1.2M
[IMG]Jacky J. The Way of Z.. Practical Programming with Formal Methods (CUP, 1996)(ISBN 9780521559768)(600dpi)(T)(370s)_CsPl_.djvu2.2M
[ ]Jay B. Pattern Calculus.. computing with patterns and structures (Springer, 2009)(ISBN 3540891846)(O)(213s)_CsAl_.pdf1.1M
[ ]Kaynar D.K., Lynch N., Segala R., Vaandrager F. The Theory of Timed I-O Automata (MC, 2006)(ISBN 159829010X)(114s)_CsAl_.pdf656K
[IMG]Klark, Gramberg, Peled. (_Clarke,Grumberg,Peled_) Verifikaciya modelej programm.. Model Checking (MCNMO, 2002)(ru)(T)(416s)_CsAl_.djvu4.6M
[IMG]Kobern A. (_Cockburn_) Sovremennye metody opisaniya funkcional'nyx trebovanij k sistemam (Lori, 2002)(ISBN 5855821528)(ru)(T)(K)(280s)_CsPl_.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]Kroeger F. Temporal Logic of Programs (Springer, 1987)(ISBN 0387170308)(600dpi)(T)(158s)_CsAl_.djvu1.1M
[ ]Lamport L. Specifying Systems.. The TLA+ Language and Tools for Hardware and Software Engineering (AW, 2002)(ISBN 032114306X)(382s)_CsAl_.pdf2.5M
[ ]Lamport L. Specifying systems.. errata (2010)(5s).pdf109K
[ ]Lectures and papers on computational logic (2008)(758s)-o.pdf6.4M
[ ]Levelt W.J.M. Introduction to Theory of Formal Languages and Automata (John Benjamins, 2008)(ISBN 9027232504)(152s)_CsAl_.pdf1.5M
[IMG]Linz P. An Introduction to Formal Languages and Automata (3ed., JaB, 2001)(ISBN 0763714224)(600dpi)(K)(T)(425s)_CsAl_.djvu8.7M
[IMG]Liskov B., Guttag J. Abstraction and specification in program development (2pr., MIT, MGH, 1987)(ISBN 0262121123)(600dpi)(T)(486s)_CsAl_.djvu3.0M
[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]Manna Z., Pnueli A. Temporal Verification of Reactive Systems.. Safety (Springer, 1995)(ISBN 9780387944593)(600dpi)(T)(531s)_CsAl_.djvu4.4M
[IMG]Manna Z., Pnueli A. The Temporal Logic of Reactive and Concurrent Systems.. Specification (Springer, 1991)(ISBN 0387976647)(600dpi)(T)(443s)_CsAl_.djvu2.8M
[IMG]Manna Z. Lectures on the logic of computer programming (SIAM, 1980)(ISBN 0898711649)(T)(O)(57s)_CsAl_.djvu312K
[IMG]Manna Z. Mathematical theory of computation (McGH, 1974)(ISBN 0070399107)(600dpi)(T)(O)(459s)_CsAl_.djvu3.1M
[IMG]Matematicheskaya logika v programmirovanii (sbornik statej) (Mir 1991)(ru) (600dpi)(K)(T)(408s)_Cs_.djvu5.6M
[IMG]McNaughton R. Elementary computability, formal languages, and automata (PH, 1982)(ISBN 0132535009)(600dpi)(T)(O)(417s)_Cs_.djvu3.3M
[IMG]Milner R. Communicating and mobile systems.. the pi-calculus (CUP, 1999)(ISBN 9780521643207)(KA)(T)(171s)_CsAl_.djvu1.8M
[IMG]Milner R. Communication and Concurrency (PH, 1995)(ISBN 9780131150072)(600dpi)(T)(274s)_CsAl_.djvu2.0M
[IMG]Mosses P.D. Action semantics (CUP, 2005)(ISBN 0521403472)(600dpi)(T)(O)(394s)_CsPl_.djvu4.5M
[ ]Moszkowski B.C. Executing Temporal Logic Programs (free web version, CUP, 1986)(ISBN 0521310997)(O)(125s)_CsPl_.pdf491K
[IMG]Murray F.J. The theory of mathematical machines (Rev.ed., King's Crown, 1947)(ASIN B0007EA3B0)(600dpi)(T)(123s)_Cs_.djvu2.6M
[IMG]Ostroff J.S. Temporal logic for real-time systems (Wiley, 1989)(ISBN 0471924024)(600dpi)(T)(224s)_CsAl_.djvu1.6M
[IMG]Padawitz P. Deduction and Declarative Programming (CUP, 1992)(ISBN 9780521417235)(T)(285s)_CsAi_.djvu1.4M
[IMG]Paulson L.C. Logic and Computation.. Interactive Proof with Cambridge LCF (CUP, 1990)(ISBN 9780521395601)(T)(316s).djvu1.5M
[ ]Platzer A. Logical Analysis of Hybrid Systems.. Proving Theorems for Complex Dynamics (Springer, 2010)(ISBN 9783642145087)(O)(457s)_CsAl_.pdf2.6M
[IMG]Ramsay A.M. Formal Methods in Artificial Intelligence (CUP, 1988)(ISBN 0521352363)(600dpi)(T)(286s)_CsAi_.djvu3.9M
[IMG]Sampaio A. An algebraic approach to compiler design (phd thesis, report PRG-110, Oxford, 1993)(600dpi)(T)(167s)_CsAl_.djvu3.6M
[IMG]Sangiorgi D., Walker D. The pi-calculus.. a theory of mobile processes (CUP, 2001)(ISBN 0521781779)(600dpi)(T)(592s)_CsF_.djvu5.7M
[IMG]Savitch W.J. Abstract machines and grammars (Little, Brown, 1982)(ISBN 0316771619)(600dpi)(T)(O)(226s)_CsAl_.djvu1.8M
[ ]Smith G. The Object-Z Specification Language (Springer, 1999)(ISBN 9780792386841)(159s)_CsPl_.pdf576K
[IMG]Stavely A.M. Toward zero-defect programming (AW, 1999)(ISBN 0201385953)(600dpi)(T)(258s)_CsF_.djvu1.8M
[IMG]Tennent R.D. Specifying Software.. A Hands-On Introduction (CUP, 2002)(ISBN 0521004012)(600dpi)(T)(O)(302s)_CsAl_.djvu2.0M
[IMG]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 0
[IMG]Winskel G. Events in computation (phd thesis, Edinburgh, 1980)(T)(O)(294s)_CsF_.djvu2.4M
[ ]Winskel G. Topics in concurrency.. lecture notes (web draft, 2009)(134s)_CsF_.pdf664K
[IMG]Wood D. Grammars and L-forms.. an introduction (LNCS0091, Springer, 1980)(ISBN 3540102337)(T)(323s)_CsAl_.djvu2.2M
[ ]Woodcock, Davies. Using Z (free web version, 1999)(O)(407s)_CsPl_.pdf1.2M
[ ]Woodcock J., Davies J. Using Z.. Specification, Refinement, and Proof (PH, 1996)(ISBN 9780139484728)(O)(408s)_CsPl_.pdf1.2M
[IMG]Wordsworth J. Software Development With Z.. A Practical Approach to Formal Methods in Software Engineering (AW, 1992)(ISBN 9780201627572)(600dpi)(T)(375s)_CsPl_.djvu2.1M
[IMG]van Leeuwen J.(ed.) Handbook of theoretical computer science. Vol.A. Algorithms and complexity (Elsevier, 1990)(600dpi)(T)(ISBN 0444880712)(1010s).djvu 12M
[IMG]van Leeuwen J. (ed.) Handbook of theoretical computer science. Vol.B. Formal models and semantics (Elsevier, 1990)(ISBN 0262220393)(T)(1264s)_Cs_.djvu9.3M
Apache/2.4.58 (Ubuntu) Server at filelake.xyz Port 443