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