NoZDR.RU » Библиотека » KOLXO3 » Компьютерные науки » Формальные методы

Навигация

• Онлайн: 2



Рейтинг@Mail.ru Индекс цитирования

Яндекс
biblio/kolxoz/cs/csf.txt · Последнее изменение: 09.09.2023 16:31 — nozdr

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

  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М)
Инструменты страницы

Инструменты пользователя