Тема, жанр, tags: Software Engineering » Page 913 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software Engineering » Page 913

book Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

Computer Aided Verification: 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings

djvu

Author: Robert K. Brayton (auth.) Costas Courcoubetis (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

book Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

djvu

Author: Edmund M. Clarke Jr. (auth.) Wojciech Penczek Andrzej Szałas (eds.)
Language: English
Year: 1996

00

26.01.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

djvu

Author: Olaf Müller Tobias Nipkow (auth.) E. Brinksma W. R. Cleaveland K. G. Larsen T. Margaria B. Steffen (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings

Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings

pdf

Author: John H. Reif (auth.) Peter Widmayer Stephan Eidenbenz Francisco Triguero Rafael Morales Ricardo Conejo Matthew Hennessy (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

pdf

Author: Joshua D. Guttman (auth.) Bernhard Steffen Giorgio Levi (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

pdf

Author: Thomas Kropf (auth.) Yves Bertot Gilles Dowek Laurent Théry André Hirschowitz Christine Paulin (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Advances in Exception Handling Techniques

Advances in Exception Handling Techniques

pdf

Author: J∅rgen Lindskov Knudsen (auth.) Alexander Romanovsky Christophe Dony Jørgen Lindskov Knudsen Anand Tripathi (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

djvu

Author: Norman Ramsey (auth.) Manuel V. Hermenegildo Daniel Cabeza (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

pdf

Author: Gert Smolka (auth.) Chris Hankin (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedi

Quality of Software Architectures and Software Quality: First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedi

pdf

Author: Christine Hofmeister (auth.) Ralf Reussner Johannes Mayer Judith A. Stafford Sven Overhage Steffen Becker Patrick J. Schroeder (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0