Формальные методы

  1. "Abrial J.-R. Modeling in Event-B.. system and software engineering (CUP, 2010)(ISBN 0521895561)(O)(614s)_CsF_.pdf" (2.1М)
  2. "Abrial J.-R. The B-book.. assigning programs to meanings (CUP, 1996)(ISBN 0521496195)(600dpi)(T)(C)(814s)_CsF_.djvu" (6.5М)
  3. "Alagar V.S., Periyasamy K. Specification of Software Systems (2ed., Springer, 2011)(ISBN 0857292765)(O)(671s)_CsF_.pdf" (3.7М)
  4. "Aldini A., Bernardo M., Corradini F. A process algebraic approach to software architecture design (Springer, 2009)(ISBN 184800222X)(O)(321s)_CsAl_.pdf" (2.6М)
  5. "Allison L. A Practical Introduction to Denotational Semantics (CUP, 1987)(ISBN 0521306892)(600dpi)(T)(146s)_CsPl_.djvu" (975.0К)
  6. "Alur R., Henzinger T. Model checking (Lecture notes, 2007)(O)(433s)_CsF_.pdf" (2.4М)
  7. "Alur R., Henzinger T. Model checking (Lecture notes, 2007)(example code).rar" (5.1К)
  8. "Amtoft T., Nielson F., Nielson H.R. Type and Effect Systems.. Behaviours for Concurrency (WS, 1999)(ISBN 9781860941542)(600dpi)(T)(268s)_CsAl_.djvu" (1.6М)
  9. "Apt K.R. (ed.) Logics and models of concurrent systems (NATO ASI F7, Springer, 1985)(ISBN 0387151818)(600dpi)(T)(509s)_CsF_.djvu" (4.7М)
  10. "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_.pdf" (2.2М)
  11. "Baier C., Katoen J. Principles of Model Checking (MIT, 2008)(ISBN 9780262026499)(O)(994s)_CsAl_.pdf" (4.6М)
  12. "Ben-Ari M. Principles of the Spin Model Checker (Springer, 2008)(ISBN 1846287693)(O)(225s)_CsF_.pdf" (1.3М)
  13. "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М)
  14. "Bergstra J.A., Heering J. Algebraic Specification (ACM, 1989)(ISBN 9780201416350)(600dpi)(T)(413s)_CsAl_.djvu" (3.1М)
  15. "Berstel J. Transductions and context-free languages (Teubner, 1979)(ISBN 9783519023401)(600dpi)(T)(282s)_Cs_.djvu" (6.3М)
  16. "Bjoerner D., Henson M.C. (eds.) Logics of Specification Languages (Springer, 2007)(ISBN 3540741062)(O)(636s)_CsF_.pdf" (3.9М)
  17. "Bradley A., Manna Z. The calculus of computation.. Decision procedures with applications to verification (Springer, 2007)(ISBN 3540741127)(O)(375s)_CsAl_.pdf" (1.8М)
  18. "Brookes S.D. A model for communicating sequential processes (phd thesis, Oxford, 1983)(600dpi)(T)(188s)_CsF_.djvu" (999.1К)
  19. "Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(600dpi)(T)(533s)_CsAl_.djvu" (6.7М)
  20. "Chandy K.M., Misra J. Parallel Program Design.. A Foundation (AW, 1988)(ISBN 9780201058666)(T)(533s)_CsAl_.djvu" (3.5М)
  21. "Clarke E.M., Grumberg O., Peled D.A. Model checking (MIT, 2000)(ISBN 0262032708)(600dpi)(T)(336s)_CsAl_.djvu" (2.2М)
  22. "Cohen E. Programming in the 1990's.. An Introduction to the Calculation of Programmes (Springer, 1990)(ISBN 9783540973829)(600dpi)(T)(286s)_CsAl_.djvu" (1.5М)
  23. "Dastani M., Hindriks K.V., Meyer J.C. (eds.) Specification and Verification of Multi-agent Systems (Springer, 2011)(ISBN 9781441969842)(O)(416s)_CsAl_.pdf" (3.7М)
  24. "Deville Y. Logic Programming.. Systematic Program Development (AW, 1990)(ISBN 9780201175769)(600dpi)(T)(358s)_CsAl_.djvu" (3.4М)
  25. "Diaconescu R., Futatsugi K. CafeOBJ report.. the language, proof techniques, and methodologies for object-oriented algebraic specification (WS, 1998)(ISBN 9810235135)(600dpi)(T)(196s)_CsF_.djvu" (1.1М)
  26. "Drechsler R. (ed.) Advanced formal verification (Springer, 2004)(ISBN 9781402077210)(O)(276s)_CsAl_.pdf" (2.0М)
  27. "Dromey G. Program derivation.. development of programs from specifications (AW, 1989)(ISBN 0201416247)(600dpi)(T)(648s)_CsAl_.djvu" (4.9М)
  28. "Dudakov S.M. Matematicheskoe vvedenie v informatiku (TverGU, 2003)(ru)(ISBN 5760902334)(O)(222s)_CsF_.pdf" (1.1М)
  29. "Fencott C. Formal Methods for Concurrency (Thomson, 1996)(ISBN 1850321736)(600dpi)(T)(306s)_CsAl_.djvu" (2.9М)
  30. "Goguen J.A., Malcolm G. Algebraic semantics of imperative programs (MIT, 1996)(ISBN 026207172X)(600dpi)(T)(242s)_CsF_.djvu" (1.4М)
  31. "Graham T.C. Declarative Development of Interactive Systems (Oldenbourg, 1995)(ISBN 3486234307)(600dpi)(T)(190s)_CsAl_.djvu" (1.2М)
  32. "Hamburger H., Richards D. Logic and language models for computer science (PH, 2002)(ISBN 0130654876)(T)(346s)_CsAl_.djvu" (2.4М)
  33. "Hehner E.C.R. The logic of programming (PH, 1984)(ISBN 0135399661)(600dpi)(T)(368s)_CsAl_.djvu" (2.0М)
  34. "Hindley J.R. Basic simple type theory (CUP, 1997)(ISBN 0521465184)(T)(199s)_CsF_.djvu" (1.3М)
  35. "Hofmann M., Lange M. Automatentheorie und Logik (de)(Springer, 2011)(ISBN 9783642180897)(O)(252s)_CsF_.pdf" (1.7М)
  36. "Holzmann G.J. Design and validation of computer protocols (PH, 1990)(example code).tar.gz" (12.4К)
  37. "Holzmann G.J. Design and validation of computer protocols (front matter only) (PH, 1991)(ISBN 0135399254)(5s)_CsF_.djvu" (284.2К)
  38. "Holzmann G.J. Design and validation of computer protocols (no front matter)(PH, 1991)(ISBN 0135399254)(554s)_CsF_.pdf" (1.3М)
  39. "Holzmann G.J. The SPIN model checker (AW, 2004)(ISBN 0321228626)(example code).tar.gz" (22.9К)
  40. "Hopcroft J.E., Motwani R., Ullman J.D. Einfuehrung in die Automatentheorie, formale Sprachen und Komplexitaetstheorie (2ed., Pearson, 2003)(de)(ISBN 3827370205)(O)(529s)_CsF_.pdf" (4.6М)
  41. "Hopcroft J.E., Motwani R., Ullman J.D. Introduction to automata theory, languages, and computation (2ed., AW, 2001)(ISBN 0201441241)(T)(537s)_CsAl_.djvu" (6.9М)
  42. "Ito M., et al. (eds.) Automata, formal languages and algebraic systems (WS, 2010)(ISBN 9814317608)(O)(247s)_CsAl_.pdf" (1.7М)
  43. "Kaynar D.K., Lynch N., Segala R., Vaandrager F. The Theory of Timed I-O Automata (MC, 2006)(ISBN 159829010X)(114s)_CsAl_.pdf" (672.2К)
  44. "Kobern A. (_Cockburn_) Sovremennye metody opisaniya funkcional'nyx trebovanij k sistemam (Lori, 2002)(ISBN 5855821528)(ru)(T)(K)(280s)_CsPl_.djvu" (2.2М)
  45. "Kourie D.G., Watson B.W. The Correctness-by-Construction Approach to Programming (Springer, 2012)(ISBN 364227918X)(O)(280s)_CsF_.pdf" (2.2М)
  46. "Kourie D.G., Watson B.W. The Correctness-by-Construction Approach to Programming (Springer, 2012)(ISBN 9783642279188)(O)(273s)_CsF_.pdf" (1.8М)
  47. "Kroeger F. Temporal Logic of Programs (Springer, 1987)(ISBN 0387170308)(600dpi)(T)(158s)_CsAl_.djvu" (1.2М)
  48. "Lamport L. Specifying Systems.. The TLA+ Language and Tools for Hardware and Software Engineering (AW, 2002)(ISBN 032114306X)(382s)_CsAl_.pdf" (2.6М)
  49. "Lamport L. Specifying systems.. errata (2010)(5s).pdf" (111.2К)
  50. "Maibaum T.S.E., Turski W.M. The Specification of Computer Programs (AW, 1987)(ISBN 0201142260)(600dpi)(T)(O)(287s)_CsPl_.djvu" (2.3М)
  51. "Manna Z. Mathematical theory of computation (McGH, 1974)(ISBN 0070399107)(600dpi)(T)(O)(459s)_CsAl_.djvu" (3.3М)
  52. "Manna Z., Pnueli A. Temporal Verification of Reactive Systems.. Safety (Springer, 1995)(ISBN 9780387944593)(600dpi)(T)(531s)_CsAl_.djvu" (4.6М)
  53. "Manna Z., Pnueli A. Temporal verification of reactive systems.. progress (web draft, 1996)(O)(247s)_CsF_.pdf" (1.5М)
  54. "Manna Z., Pnueli A. The Temporal Logic of Reactive and Concurrent Systems.. Specification (Springer, 1991)(ISBN 0387976647)(600dpi)(T)(443s)_CsAl_.djvu" (2.9М)
  55. "Mauw S., Veltink G.J. (eds.) Algebraic specification of communication protocols (CTTCS35, CUP, 1993)(ISBN 9780521418836)(T)(O)(210s)_CsF_.djvu" (1.7М)
  56. "McNaughton R. Elementary computability, formal languages, and automata (PH, 1982)(ISBN 0132535009)(600dpi)(T)(O)(417s)_Cs_.djvu" (3.5М)
  57. "Milner R. Communication and Concurrency (PH, 1995)(ISBN 9780131150072)(600dpi)(T)(274s)_CsAl_.djvu" (2.1М)
  58. "Milner R. The space and motion of communicating agents (CUP, 2009)(ISBN 9780521490306)(O)(215s)_CsF_.pdf" (2.2М)
  59. "Mosses P.D. Action semantics (CUP, 2005)(ISBN 0521403472)(600dpi)(T)(O)(394s)_CsPl_.djvu" (4.7М)
  60. "Moszkowski B.C. Executing Temporal Logic Programs (free web version, CUP, 1986)(ISBN 0521310997)(O)(125s)_CsPl_.pdf" (503.0К)
  61. "Nielson H.R., Nielson F. Semantics with Applications.. An Appetizer (Springer, 2007)(ISBN 1846286913)(O)(285s)_CsF_.pdf" (1.4М)
  62. "Oles F.J. A category-theoretic approach to the semantics of programming languages (phd thesis, 1982)(600dpi)(T)(252s)_CsF_.djvu" (895.5К)
  63. "Ostroff J.S. Temporal logic for real-time systems (Wiley, 1989)(ISBN 0471924024)(600dpi)(T)(224s)_CsAl_.djvu" (1.7М)
  64. "Padawitz P. Deduction and Declarative Programming (CUP, 1992)(ISBN 9780521417235)(T)(285s)_CsAi_.djvu" (1.5М)
  65. "Platzer A. Logical Analysis of Hybrid Systems.. Proving Theorems for Complex Dynamics (Springer, 2010)(ISBN 9783642145087)(O)(457s)_CsAl_.pdf" (2.7М)
  66. "Prehofer C. Solving higher-order equations (Birkhauser, 1998)(ISBN 0817640320)(600dpi)(T)(199s)_CsF_.djvu" (1.5М)
  67. "Sangiorgi D., Walker D. The pi-calculus.. a theory of mobile processes (CUP, 2001)(ISBN 0521781779)(600dpi)(T)(592s)_CsF_.djvu" (5.9М)
  68. "Sannella D., Tarlecki A. Foundations of Algebraic Specification and Formal Software Development (Springer, 2011)(ISBN 3642173357)(O)(594s)_CsF_.pdf" (3.0М)
  69. "Savitch W.J. Abstract machines and grammars (Little, Brown, 1982)(ISBN 0316771619)(600dpi)(T)(O)(226s)_CsAl_.djvu" (1.9М)
  70. "Schmidt D.A. Denotational Semantics.. A Methodology for Language Development (Allyn and Bacon, 1986)(ISBN 9780205089741)(T)(345s)_CsF_.djvu" (2.5М)
  71. "Schumann J.M. Automated theorem proving in software engineering (Springer, 2001)(ISBN 3540679898)(600dpi)(T)(244s)_CsF_.djvu" (2.8М)
  72. "Stavely A.M. Toward zero-defect programming (AW, 1999)(ISBN 0201385953)(600dpi)(T)(258s)_CsF_.djvu" (1.9М)
  73. "Taylor R.G. Models of Computation and Formal Languages (OUP, 1997)(ISBN 9780195109832)(T)(683s)_CsF_.djvu" (7.0М)
  74. "Tennent R.D. Semantics of programming languages (PH, 1991)(ISBN 0138056072)(T)(O)(246s)_Cs_.djvu" (1.9М)
  75. "Tennent R.D. Specifying Software.. A Hands-On Introduction (CUP, 2002)(ISBN 0521004012)(600dpi)(T)(O)(302s)_CsAl_.djvu" (2.1М)
  76. "Thompson S. Type theory and functional programming (free web version, AW, 1991)(ISBN 0201416670)(378s)_CsF_.pdf" (1.3М)
  77. "Turner J.G., McCluskey T.L. The construction of formal specifications.. an introduction to the model-based and algebraic approaches (MGH, 1993)(ISBN 0077077350)(600dpi)(T)(472s)_CsF_.djvu" (2.5М)
  78. "Vel'der S.E', i dr. Verifikaciya avtomatnyx programm (SPbITMO, 2011)(ru)(246s)_CsF_.pdf" (2.6М)
  79. "Verhulst E., et al. Formal development of a network-centric RTOS (Springer, 2011)(ISBN 1441997350)(O)(238s)_CsF_.pdf" (3.1М)
  80. "Weiss B. Deductive verification of object-oriented software.. dynamic logic, and predicate abstraction (phd thesis, KIT, 2011)(ISBN 9783866446236)(T)(O)(294s)_CsF_.djvu" (2.1М)
  81. "Winskel G. Events in computation (phd thesis, Edinburgh, 1980)(T)(O)(294s)_CsF_.djvu" (2.5М)
  82. "Winskel G. Topics in concurrency.. lecture notes (web draft, 2009)(134s)_CsF_.pdf" (680.0К)
  83. "van Leeuwen J. (ed.) Handbook of theoretical computer science. Vol.A. Algorithms and complexity (Elsevier, 1990)(600dpi)(ISBN 0444880712)(T)(1011s)_CsF_.djvu" (12.8М)
  84. "van Leeuwen J. (ed.) Handbook of theoretical computer science. Vol.B. Formal models and semantics (Elsevier, 1990)(ISBN 0262220393)(T)(1264s)_Cs_.djvu" (9.8М)