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

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

book Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

pdf

00

26.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

26.01.2024

0

0

book Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

pdf

Author: Jan Gulliksen (auth.) Gavin Doherty Ann Blandford (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

pdf

Author: Alan J. Hu (auth.) Karen Yorav (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book HCI and Usability for Medicine and Health Care: Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007. Proceedings

HCI and Usability for Medicine and Health Care: Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007. Proceedings

pdf

Author: Harold Thimbleby (auth.) Andreas Holzinger (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Human-Computer Interaction. Interaction Design and Usability: 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

Human-Computer Interaction. Interaction Design and Usability: 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

pdf

Author: Hiroko Akatsu Hiroyuki Miki Naotsune Hosono (auth.) Julie A. Jacko (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

pdf

Author: Paolo Baldan Andrea Corradini (auth.) Hans-Jörg Kreowski Ugo Montanari Fernando Orejas Grzegorz Rozenberg Gabriele Taentzer (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

pdf

Author: David Kitchin Adrian Quark William Cook Jayadev Misra (auth.) David Lee Antónia Lopes Arnd Poetzsch-Heffter (eds.)
Language: English
Year: 2009

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 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