Testing software and systems: 25th IFIP EG 6.1 international conference ; proce… by International Federation for Information Processing, Working Group Architecture and Protocols for Computer Networks, ICTSS, Istanbul fromLecture Notes in Computer Science 0 Type: Book
Software engineering and formal methods: 9th international conference ; proceedings by SEFM, Montevideo fromLecture Notes in Computer Science 0 Type: Book
Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevid… by Barthe, Gilles, Schneider, Gerardo, International Conference on Software Engineering and Formal Methods, Montevideo, Uruguay), Pardo, Alberto fromLecture Notes in Computer Science 0 Type: Book
Software engineering and formal methods: 9th international conference, SEFM 2011, Montevid… by Barthe, Gilles, Schneider, Gerardo, Pardo, Alberto, SEFM, Montevideo, International Conference on Software Engineering and Formal Methods, Montevideo) fromLecture Notes in Computer Science 0 Type: Book
Model and data engineering: first international conference, MEDI 2011, Óbidos… by Bellatreche, Ladjel, Pinto, Filipe Mota, MEDI, Óbidos), International Conference on Model and Data Engineering, Óbidos) fromLecture Notes in Computer Science 0 Type: Book
Model and data engineering: first international conference ; proceedings by MEDI, Óbidos) fromLecture Notes in Computer Science 0 Type: Book
Model and data engineering: first international conference, MEDI 2011, Óbidos… by Bellatreche, Ladjel, Pinto, Filipe Mota, MEDI, Óbidos), International Conference on Model and Data Engineering, Óbidos) fromLecture Notes in Computer Science 0 Type: Book
Formal methods: foundations and applications: 14th Brazilian symposium ; revised selected papers by SBMF, São Paulo fromLecture Notes in Computer Science 0 Type: Book
Formal methods: foundations and applications: 14th Brazilian symposium, SBMF 2011, Sao Paulo, S… by Simão, Adenilso, SBMF (14, 2011, São Paulo) fromLecture Notes in Computer Science 0 Type: Book
Formal methods: foundations and applications: 14th Brazilian symposium, SBMF 2011, Sao Paulo, S… by Simão, Adenilso, SBMF, São Paulo fromLecture Notes in Computer Science 0 Type: Book
Formal methods: foundations and applications: 14th Brazilian symposium, SBMF 2011, São Paulo, B… by Morgan, Carroll, Simão, Adenilso, SBMF, São Paulo, Brazilian Symposium on Formal Methods, Sao Paulo) fromLecture Notes in Computer Science 0 Type: Book
Certified programs and proofs: first international conference ; proceedings by CPP, Kending fromLecture Notes in Computer Science 0 Type: Book
Certified programs and proofs: first international conference, CPP 2011, Kenting… by Jouannaud, Jean-Pierre, CPP (Conference), Kʻen-ting, Taiwan), Shao, Zhong fromLecture Notes in Computer Science 0 Type: Book
Models in software engineering: workshops and symposia at MODELS 2010, Oslo, Norw… by MODELS, Oslo), Dingel, Juergen, Solberg, Arnor fromLecture Notes in Computer Science 0 Type: Book
Models in software engineering: workshops and symposia at MODELS 2010, Olso, Norw… by MODELS, Oslo) fromLecture Notes in Computer Science 0 Type: Book
Computer safety, reliability, and security: 30th international conference ; proceedings by SAFECOMP, Neapel fromLecture Notes in Computer Science 0 Type: Book
Computer safety, reliability, and security: 30th international conference, SAFECOMP 2011, Nap… by Flammini, Francesco, SAFECOMP (30, 2011, Napoli) fromLecture Notes in Computer Science 0 Type: Book
Formal modeling and analysis of timed systems: 9th international conference ; proceedings by FORMATS, Alborg fromLecture Notes in Computer Science 0 Type: Book
Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalbo… by Fahrenberg, Uli, FORMATS (9, 2011, Ålborg) fromLecture Notes in Computer Science 0 Type: Book
Mobility in process calculi and natural computing by Ciobanu, Gabriel, Aman, Bogdan fromNatural Computing Series 0 Type: Book
