Book serie: / Книги серии: Lecture Notes in Computer Science 3920 : Theoretical Computer Science and General Issues » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 3920 : Theoretical Computer Science and General Issues

book Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceed

pdf

Author: Somesh Jha Stefan Schwoon Hao Wang Thomas Reps (auth.) Holger Hermanns Jens Palsberg (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0