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

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

book Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

pdf

Author: Shady Copty Itai Jaeger Yoav Katz (auth.) Shmuel Ur Eyal Bin Yaron Wolfsthal (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

High Confidence Software Reuse in Large Systems: 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

pdf

Author: Hans-Jörg Beyer Dirk Hein Clemens Schitter Jens Knodel Dirk Muthig Matthias Naab (auth.) Hong Mei (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

Generative and Transformational Techniques in Software Engineering: International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

pdf

Author: Don Batory (auth.) Ralf Lämmel João Saraiva Joost Visser (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

Extreme Programming and Agile Processes in Software Engineering: 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings

pdf

Author: Peter Middleton Amy Flaxel Ammon Cookson (auth.) Hubert Baumeister Michele Marchesi Mike Holcombe (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

pdf

Author: Mathai Joseph (auth.) John Fitzgerald Ian J. Hayes Andrzej Tarlecki (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

pdf

Author: Thomas A. Henzinger Joseph Sifakis (auth.) Jayadev Misra Tobias Nipkow Emil Sekerinski (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

pdf

Author: Shmuel Katz (auth.) Jorge Cuellar Tom Maibaum Kaisa Sere (eds.)
Language: English
Year: 2008

00

27.01.2024

0

0

book Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

pdf

Author: Wolfgang Grieskamp (auth.) Klaus Havelund Manuel Núñez Grigore Roşu Burkhart Wolff (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0

book Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

pdf

Author: Lars Frantzen Jan Tretmans Tim A. C. Willemse (auth.) Jens Grabowski Brian Nielsen (eds.)
Language: English
Year: 2005

00

27.01.2024

1

0

book Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Formal Approaches to Software Testing: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

pdf

Author: Stefan Blom Natalia Ioustinova Jaco van de Pol Axel Rennoch Natalia Sidorova (auth.) Wolfgang Grieskamp Carsten Weise (eds.)
Language: English
Year: 2006

00

27.01.2024

0

0