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

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

book Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

pdf

Author: Simon N. Foley (auth.) Warren A. Hunt Jr. Fabio Somenzi (eds.)
Language: English
Year: 2003

00

27.01.2024

0

0

book Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

pdf

Author: Simon N. Foley (auth.) Warren A. Hunt Jr. Fabio Somenzi (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0