Тема, жанр, tags: Programming Techniques,Software Engineering,Programming Languages Compilers Interpreters,Logics and » Page 347 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Techniques,Software Engineering,Programming Languages Compilers Interpreters,Logics and » Page 347

book Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism

Extensions of the UNITY Methodology: Compositionality, Fairness and Probability in Parallelism

djvu

Author: Josyula Ramachandra Rao (eds.)
Language: English
Year: 1995

00

26.01.2024

3

0

book Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets

Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets

djvu

Author: Dirk A. Taubner (auth.)
Language: English
Year: 1989

00

26.01.2024

2

0

book Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers

pdf

Author: Benjamin Tyler Neelam Soundarajan (auth.) Alexandre Petrenko Andreas Ulrich (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

pdf

Author: J. -R. Abrial (auth.) Michael Butler Michael G. Hinchey María M. Larrondo-Petrie (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers

Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers

pdf

Author: Tom Maibaum (auth.) Bernhard K. Aichernig Tom Maibaum (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

pdf

Author: Albert Benveniste Benoît Caillaud (auth.) Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem-Paul de Roever (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

pdf

Author: Lars Frantzen Jan Tretmans (auth.) Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem-Paul de Roever (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

pdf

Author: Ugo Montanari Marco Pistore (auth.) Marco Bernardo Alessandro Bogliolo (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

Distributed Applications and Interoperable Systems: 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings

pdf

Author: Jorge Vallejos Peter Ebraert Brecht Desmet Tom Van Cutsem Stijn Mostinckx (auth.) Jadwiga Indulska Kerry Raymond (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers

Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003. Revised Papers

pdf

Author: Don Batory (auth.) Christian Lengauer Don Batory Charles Consel Martin Odersky (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0