Book serie: / Книги серии: Lecture Notes in Computer Science 3785 : Programming and Software Engineering » Page 86 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 3785 : Programming and Software Engineering » Page 86

book Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

pdf

Author: Anthony Hall (auth.) Kung-Kiu Lau Richard Banach (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

pdf

Author: Zhou Chaochen (auth.) Zhiming Liu Jifeng He (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

pdf

Author: Jean-Michel Fourneau Leïla Kloul (auth.) András Horváth Miklós Telek (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

pdf

Author: Isi Mitrani (auth.) Katinka Wolter (eds.)
Language: English
Year: 2007

00

27.01.2024

1

0

book Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

pdf

Author: Jan Tretmans (auth.) Robert M. Hierons Jonathan P. Bowen Mark Harman (eds.)
Language: English
Year: 2008

00

27.01.2024

1

0

book Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures

pdf

Author: Thomas Ball (auth.) Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem-Paul de Roever (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

pdf

Author: Andrea Degasperi Stephen Gilmore (auth.) Marco Bernardo Pierpaolo Degano Gianluigi Zavattaro (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

pdf

Author: Nicola Bombieri Franco Fummi (auth.) Marco Bernardo Alessandro Cimatti (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

pdf

Author: Charles Pecheur (auth.) Stefan Leue Pedro Merino (eds.)
Language: English
Year: 2008

00

27.01.2024

1

0

book Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

pdf

Author: Rocco De Nicola Daniele Gorla Rosario Pugliese (auth.) Martin Steffen Gianluigi Zavattaro (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0