Book serie: / Книги серии: Lecture Notes in Computer Science 2937 » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Lecture Notes in Computer Science 2937

book Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

pdf

Author: Joshua D. Guttman (auth.) Bernhard Steffen Giorgio Levi (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings

pdf

Author: Joshua D. Guttman (auth.) Bernhard Steffen Giorgio Levi (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0