Тема, жанр, tags: Computation by Abstract Devices,Logics and Meanings of Programs,Software Engineering,Programming Lan » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Computation by Abstract Devices,Logics and Meanings of Programs,Software Engineering,Programming Lan » Page 2

book Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

pdf

Author: Joël Ouaknine Igor Potapov James Worrell (eds.)
Language: English
Year: 2014

00

27.01.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Procee

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Procee

pdf

Author: Holger Hermanns (auth.) Cormac Flanagan Barbara König (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Evaluation of Novel Approaches to Software Engineering: 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering: 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers

pdf

Author: Bernhard G. Humm Ralf S. Engelschall (auth.) Leszek A. Maciaszek Pericles Loucopoulos (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

pdf

Author: Ross Anderson (auth.) Dimitra Giannakopoulou Fernando Orejas (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proc

pdf

Author: Gerard J. Holzmann (auth.) Parosh Aziz Abdulla K. Rustan M. Leino (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Evaluation of Novel Approaches to Software Engineering: 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering: 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

pdf

Author: Motoshi Saeki Haruhiko Kaiya (auth.) Leszek A. Maciaszek César González-Pérez Stefan Jablonski (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

pdf

Author: Mark Harman (auth.) David S. Rosenblum Gabriele Taentzer (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers

pdf

Author: Adil Anwar Amine Benelallam Mahmoud Nassar (auth.) Ricardo J. Machado Rita Suzana P. Maciel Julia Rubin Goetz Botterweck (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Evaluation of Novel Approaches to Software Engineering: 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

Evaluation of Novel Approaches to Software Engineering: 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers

pdf

Author: Wen Zhang Ye Yang Qing Wang (auth.) Leszek A. Maciaszek Kang Zhang (eds.)
Language: English
Year: 2013

00

27.01.2024

0

0

book Software Composition: 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

Software Composition: 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

pdf

Author: Erwan Brottier Yves Le Traon Bertrand Nicolas (auth.) Benoît Baudry Eric Wohlstadter (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0