Тема, жанр, tags: Software Engineering,Logics and Meanings of Programs,Computer Communication Networks,Programming Lan » Page 3 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software Engineering,Logics and Meanings of Programs,Computer Communication Networks,Programming Lan » Page 3

book Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 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: Joseph Sifakis (auth.) Javier Esparza Rupak Majumdar (eds.)
Language: English
Year: 2010

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

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 Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

pdf

Author: Wil M. P. van der Aalst (auth.) Juan de Lara Andrea Zisman (eds.)
Language: English
Year: 2012

00

27.01.2024

0

0

book CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

pdf

Author: Frank S. de Boer Mohammad Mahdi Jaghoori (auth.) Paul Gastin François Laroussinie (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

pdf

Author: Parosh Aziz Abdulla (auth.) Joost-Pieter Katoen Barbara König (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

pdf

Author: Jos C. M. Baeten Bas Luttik Paul van Tilburg (auth.) Maciej Koutny Irek Ulidowski (eds.)
Language: English
Year: 2012

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 Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 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: Joseph Sifakis (auth.) Javier Esparza Rupak Majumdar (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0