cover of the book Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Ebook: Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Author: Gogul Balakrishnan Thomas Reps (auth.) Byron Cook Andreas Podelski (eds.)

Genre: Computers
Tags: Logics and Meanings of Programs, Programming Languages Compilers Interpreters, Software Engineering
Series: Lecture Notes in Computer Science 4349
Year: 2007
Publisher: Springer-Verlag Berlin Heidelberg
Edition: 1
Language: English
pdf

00

26.01.2024

0

Download the book Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings for free or read online

Read Download

Problems?

Download pdf book

Continue reading on any device:
QR code

Last viewed books

Related books

{related-news}

Comments (0)